Formal methods: practical applications and foundations. Editorial

DOI10.1007/S10703-021-00380-6MaRDI QIDQ2147686zbMATH OpenOpenAlexFDO

Authors

Publication date 20 June 2022

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-021-00380-6

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Editorial
• Formal methods -- the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7--11, 2019. Proceedings
• Editorial
• Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part II
• Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part I

Cited in

(15)

• Foreword
• Formal Methods: State of the Art and New Directions
• scientific article; zbMATH DE number 1542048 (Why is no real title available?)
• Editorial
• Editorial
• Formal methods -- the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7--11, 2019. Proceedings
• Editorial
• Introduction to the special collection from iFM 2022
• Editorial
• Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part I
• Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part II
• FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
• Formal methods and science in philosophy: introduction to the special issue
• Selected extended papers of NFM 2016: Preface
• scientific article; zbMATH DE number 5015278 (Why is no real title available?)

This page was built for publication: Formal methods: practical applications and foundations. Editorial

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2147686)