- Preview Available
- Scholarly Journal
Applying formal specification in industry
Larsen, Peter Gorm; Fitzgerald, John; Brookes, Tom.
IEEE Software; Los Alamitos Vol. 13, Iss. 3, (May 1996): 48-56.
DOI:10.1109/52.493020
This is a limited preview of the full PDF
Try and log in through your library or institution to see if they have access.