Mills, Bruce <br/><br/>
Practical Formal Software Engineering / 
Bruce Mills 
 - 1st edition 
 -  Cambridge ,  2019 
 - 376 
<br/><br/><label>ISBN: </label>9781108818643 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science
<br/><br/><label>Dewey Class. No.: </label>5.1  / MIL