Dean Jordan <br/><br/>
Computer  Aided Verification Techniques and Applications 

 - USA  Clanrye International,  2023. 
 - 239. 
<br/><br/> 23/04/2025 
<br/><br/><label>ISBN: </label>9781647265861 
<br/><br/><label>Publisher. No.: </label> Southern Book Sellers 
<br/><br/><label>Subjects--Personal Names: </label> Computer Science and applications 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science and applications