Pitt, David H. <br/><br/>
The derivation of conformance taste from LOTOS specifications 

 -  1990 
 - 1337-42 
 - Dec. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computers