Skinner, Henry  <br/><br/>
Verification and analysis of computer systems 

 - New York :   Ny Research Press .,  2023. 
 - 240 p. 
<br/><br/><label>ISBN: </label>9781647253752 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs<br/>Computer systems<br/>Electronic digital computers
<br/><br/><label>Dewey Class. No.: </label>005.14 SKI