Shoham, Sharon. <br/><br/>
Computer Aided Verification :  34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II. 

 - 1st ed. 
 - 1 online resource (560 pages) 
 - Lecture Notes in Computer Science Series ;  v.13372 .
 - Lecture Notes in Computer Science Series .
<br/><br/><label>ISBN: </label>9783031131882 
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.758