TY  - BOOK
AU  - Dan Craigen and Susan Gerhart
TI  - Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
SN  - 9780815513629
PY  - 1995///
PB  - William Andrew Publishing
UR  - https://www.sciencedirect.com/science/book/9780815513629
ER  -