TY  - BOOK
AU  - Keating, Tyler
TI  - New paradigms in computer aided verification
SN  - 9781639896905
U1  - 005.14 
PY  - 2023///
CY  - U.S.A
PB  - States
KW  - Computer programming, programs & data
ER  -