FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22--24, 2002. Proceedings

DOI10.1007/3-540-45614-7MaRDI QIDQ1848573zbMATH OpenOpenAlexFDO

Authors

Publication date 12 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45614-7

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computing methodologies and applications (68U99)

Cited in

(3)

• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements

This page was built for publication: FME 2002: Formal methods - getting IT right. International symposium of formal methods Europe, Copenhagen, Denmark, July 22--24, 2002. Proceedings

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