Formal methods at AT&T { an industrial usage report (1991)

by J A Chaves
Venue:In FORTE '91 Fourth International Conference onFormal Description Techniques