Formal Methods And Software Development <br/><br/>
Formal methods and software development: v 2 :colloquium on software engineering (cse) 

 - 1st 
 - Berlin  Springer Verlag  1985 
 - xiv,455p p. 
<br/><br/><label>ISBN: </label>3 540 15199 0 
<br/><br/><label>Subjects--Index Terms: </label>Computer software - Developments