Partsch, Helmut Steinbruggen, R. <br/><br/>
Program Trans for mation Systems 

 - 199-236 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Trans for mational Programming<br/>Trans for mation<br/>Verification