Integration of formal methods with system design (1991)

by E M Mayger, M P Fourman
Venue:International Conference on Very Large Scale Integration