Formal software development in the Verification Support Environment (VSE)

DOI10.1080/095281300454784zbMath1010.68026OpenAlexW2768282859MaRDI QIDQ4783352

Roland Vogt, Bruno Langenstein, Werner Stephan, Georg Rock, Dieter Hutter, Jörg H. Siekmann

Publication date: 4 December 2002

Published in: Journal of Experimental & Theoretical Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/095281300454784

zbMATH Keywords

IT-securityVSE system

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (1)

Deduction as an Engineering Science

Uses Software

• Z

Cites Work

• Coloring terms to control equational reasoning
• Untersuchungen über das logische Schliessen. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal software development in the Verification Support Environment (VSE)