A Meta-Method for Formal Method Integration (1997)

by Richard F. Paige
Venue:In Proc. Formal Methods Europe 1997, LNCS 1313
Citations:27 - 15 self