B 142.184/IW 


F 
u t s ehe k, Gerald: Programmentwicklung 
und Verifikation.-Wien, New York: Springer 

80

(1989). IX, 183 S. 

(Springers Angewandte Informatik.)