TY  - BOOK
AU  - Keating, Tyler
TI  - Computer Aided Verification: Emerging Trends
SN  - 9781639876938
U1  - 004.0151 
PY  - 2023///
PB  - Murphy & Moore Publishing
KW  - Computer Science & Information Technology
ER  -