Investigating the integration of two formal methods

DOI10.1007/S001650050031zbMATH Open0941.68565OpenAlexW2009170733WikidataQ59100835 ScholiaQ59100835MaRDI QIDQ1125437FDOQ1125437

J. Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm

Publication date: 15 February 2000

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650050031

Mathematics Subject Classification ID

This page was built for publication: Investigating the integration of two formal methods

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