Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part II

DOI10.1007/978-3-030-54997-8MaRDI QIDQ2662243zbMATH OpenOpenAlexFDO

Authors

Publication date 12 April 2021

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-54997-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 I
• Formal methods -- the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7--11, 2019. Proceedings
• Formal methods: practical applications and foundations. Editorial
• Editorial
• FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings

Cited in

(9)

• 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 techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6--7, 2015. Revised selected papers
• Formal methods: practical applications and foundations. Editorial
• Formal methods -- the next 30 years. Third world congress/23rd symposium, FM 2019, Porto, Portugal, October 7--11, 2019. Proceedings
• Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part I
• scientific article; zbMATH DE number 1258627 (Why is no real title available?)
• scientific article; zbMATH DE number 1090985 (Why is no real title available?)
• Guest editors' foreword

This page was built for publication: Formal methods. FM 2019 international workshops. Porto, Portugal, October 7--11, 2019. Revised selected papers. Part II

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