scientific article; zbMATH DE number 2087530

MaRDI QIDQ4738337zbMATH OpenFDO

Authors Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2306/23060327.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1759367
• KeY: A Formal Method for Object-Oriented Systems
• A formal approach to object-oriented software engineering
• scientific article; zbMATH DE number 2130218
• Formal software development in the Verification Support Environment (VSE)

Cited in

(7)

• Key-ABS: a deductive verification tool for the concurrent modelling language ABS
• scientific article; zbMATH DE number 1552513 (Why is no real title available?)
• scientific article; zbMATH DE number 1693529 (Why is no real title available?)
• KeY
• scientific article; zbMATH DE number 1759367 (Why is no real title available?)
• KeY: A Formal Method for Object-Oriented Systems
• Review of Logical Analysis of Hybrid Systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738337)