TY  - BOOK
AU  - Wang, Jiacun
AU  - Tepfenhart, William (jt. auth)
TI  - Formal methods in computer science
T2  - textbooks in mathematics
SN  - 9781498775328
U1  - 004.0151 
PY  - 2020///
CY  - Boca Raton
PB  - CRC Press
KW  - Formal methods (Computer science)
ER  -