scientific article; zbMATH DE number 1258627
From MaRDI portal
Publication:4229203
zbMATH Open0910.00058MaRDI QIDQ4229203
Author name not available (Why is that?)
Publication date: 7 March 1999
Title of this publication is not available (Why is that?)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18--21, 2012. Proceedings 👍 👎
- FM 2012: Formal methods. 18th international symposium, Paris, France, August 27--31, 2012. Proceedings 👍 👎
- FM 2006: Formal methods. 14th international symposium on formal methods, Hamilton, Canada, August 21--27, 2006. Proceedings 👍 👎
- Integrated formal methods. 14th international conference, IFM 2018, Maynooth, Ireland, September 5--7, 2018. Proceedings 👍 👎
- FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols 👍 👎
- FM 2014: formal methods. 19th international symposium, Singapore, May 12--16, 2014. Proceedings 👍 👎
- 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 👍 👎
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4229203)
