Skip to content

From Monolithic to Modular Formal Specification.

Gordon A. Rose

VenueCICFEM
Year1998
ProceedingsICFEM

Browse the full ICFEM paper archive.