scientific article; zbMATH DE number 1393368

MaRDI QIDQ4936347zbMATH OpenFDO

Authors

Publication date 26 January 2000

zbMATH Keywords

ConferenceIFM '99Integrated formal methodsProceedingsYork (GB)

Mathematics Subject Classification ID

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

Cited in

(6)

• FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
• scientific article; zbMATH DE number 1258627 (Why is no real title available?)
• Introduction by the guest editor
• Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18--21, 2012. Proceedings
• scientific article; zbMATH DE number 1090985 (Why is no real title available?)
• Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16--19, 2009.

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 Q4936347)