Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Arnd Poetzsch-Heffter
Fernuniversität Hagen, Germany

J. Meyer, A. Poetzsch-Heffter:
Interactive Verification Environments for Object-Oriented Programs
/jucs_5_3/interactive_verification_environments_for
page 208 - 225
Vol.5 / Issue 3