Investigating the integration of two formal methods

DOI10.1007/S001650050031MaRDI QIDQ1125437zbMATH OpenOpenAlexWikidataFDO

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

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)