Howden, W. E. Wieand, Bruce <br/><br/>
Qda-A Method  for  Systematic in Formal Program Analysis 

 - 445-462 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Analysis<br/>Comment<br/>Verification