Formal software development in the Verification Support Environment (VSE)

Dieter Hutter, Bruno Langenstein, Georg Rock, Jörg H. Siekmann, Werner Stephan, Roland Vogt. Formal software development in the Verification Support Environment (VSE). J. Exp. Theor. Artif. Intell., 12(4):383-406, 2000.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.