Formal methods -- the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7--11, 2019. Proceedings

DOI10.1007/978-3-030-30942-8MaRDI QIDQ2325847zbMATH OpenOpenAlexFDO

Authors

Publication date 30 September 2019

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-30942-8

Mathematics Subject Classification ID

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

Recommendations

• Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part II
• Formal methods: practical applications and foundations. Editorial
• Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part I
• FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
• Editorial

Cited in

(6)

• FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
• Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18--20, 2002. Revised papers
• Formal methods: practical applications and foundations. 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
• Foreword

This page was built for publication: Formal methods -- the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7--11, 2019. Proceedings

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