Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm. Investigating the Integration of two Formal Methods. Formal Asp. Comput., 10(5-6):532-549, 1998. [doi]
No references recorded for this publication.
No citations of this publication recorded.