liu, Shaoying Offutt, Jeff Sun, Yong <br/><br/>
Sofl a  Formal Engineering Methodlogy  for  Industrial Applications 

 - 24-45 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Structured Map<br/>Object Oriented-Approach (Ooa)<br/> Formal Methods