BERG,H.K (ED), GILOI,W.K (ED) <br/><br/>
USE OF FORMAL SPECIFICATION OF SOFTWARE 

 - 1 
 - BERLIN  SV  1979 
 -  388 
<br/><br/><label>ISBN: </label>NCST  168 
<br/><br/><label>Dewey Class. No.: </label>458