TY  - BOOK
AU  - Dean Jordan
TI  - Computer  Aided Verification Techniques and Applications
SN  - 9781647265861
PY  - 2023///
CY  - USA
PB  - Clanrye International
KW  -  
KW  - Computer Science and applications
N1  - 23/04/2025
ER  -