Formal methods: practical applications and foundations. Editorial

DOI10.1007/S10703-021-00380-6zbMATH Open1489.00048OpenAlexW3178413057MaRDI QIDQ2147686FDOQ2147686

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• Formal Methods: State of the Art and New Directions
• Title not available (Why is that?)
• FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
• Title not available (Why is that?)

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)