Formal methods: practical applications and foundations. Editorial
From MaRDI portal
Publication:2147686
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
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (15)
- Foreword
- Formal Methods: State of the Art and New Directions
- Title not available (Why is that?)
- Editorial
- Editorial
- Introduction to the special collection from iFM 2022
- 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 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
- 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)
