TY  - BOOK
AU  - Wang Jiacum
AU  -  Tepfenhart William
TI  - Formal methods in computer science
T2  - Textbooks in mathematics
SN  - 9781498775328 (pbk)
U1  - D65,8(B), R0 
PY  - 2020///
CY  - Boca Raton 
PB  - CRC Press     
KW  -  Formal methods
KW  -  Petri nets
KW  -  Predicate logic
KW  - Computer Science
N1  - Index 291-294p
ER  -