Formal methods at AT&T: An industrial usage report (1992)

by J CHAVES
Venue:In Proceedings Formal Description Techniques IV