A Meta-Method for Formal Method Integration (1997)

by R PAIGE
Venue:In Proceedings of FME 1997