TY  - BOOK
AU  - Skinner, Henry 
TI  - Verification and analysis of computer systems
SN  - 9781647253752
U1  - 005.14 SKI 
PY  - 2023///
CY  - New York : 
PB  - Ny Research Press .
KW  - Computer programs
KW  - Computer systems
KW  - Electronic digital computers
ER  -