Brim, Lubo <br/><br/>
Formal methods  Applications and technology [electronic resource] 
by Lubo Brim Boudewijn Haverkort and Martin Leucker 
 - Berlin  Heidelberg  2007 
<br/><br/> http://dx.doi.org/10.1007/978-3-540-70952-7 
<br/><br/><label>ISBN: </label>9783540709527 
<br/><br/><label>Dewey Class. No.: </label>005.131  / (e-book)