Huisman, Marieke <br/><br/>
Concise guide to software verification:  from model checking to annotation checking 

 - Switzerland:  Springer,  2023. 
 - ix, 248 p. 
 - Texts in Computer Science .
<br/><br/><label>ISBN: </label>9783031301667 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods<br/>Model checking<br/>Software verification
<br/><br/><label>Dewey Class. No.: </label>658.5 HUI