TY  - SER
AU  - Dillon, Laura K. [and other]
TI  - Formal methods in software practice
KW  - SOFTWARE
ER  -