The Use of Formal Specification of Software / 
Edt. by H.K. Berg, W.K. Giloi. 
 - Berlin :  Springer,  1980. 
 - 194 p.  ill. 
 - Informatik-Fachberichte  36 .
<br/><br/>Literatur 
<br/><br/><label>ISBN: </label>3-540-10442-9 (New York) 0-387-10442-9 (Berlin) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>The Use of Formal Specification of Software