TY  - BOOK
AU  - Seligman, Erik
TI  - Formal Verification
SN  - 9780128007273
PB  - Elsevier
KW  - Computer Science
UR  - https://www.sciencedirect.com/science/book/9780128007273
ER  -