FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings

DOI10.1007/BFB0024633zbMATH Open0825.00100WikidataQ57733883 ScholiaQ57733883MaRDI QIDQ1310273

Author name not available (Why is that?)

Publication date: 8 December 1993

Published in: (Search for Journal in Brave)

zbMATH Keywords

No records found.

Mathematics Subject Classification ID

No records found.

This page was built for publication: FME '93. Industrial-strength formal methods.. 1st international symposium of formal methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings

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