Walther, Christoph <br/><br/>
Semantik und Programmverifikation 
Christoph Walther 
 - 1. Aufl. 
 - Stuttgart [u.a.]  Teubner  2001 
 - 211 S. 
 - Teubner-Texte zur Informatik  34 .
<br/><br/><label>ISBN: </label>3519003368