scientific article; zbMATH DE number 2011481

MaRDI QIDQ4435384zbMATH OpenFDO

Authors Tommi Mikkonen

Publication date 1 December 2003

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

zbMATH Keywords

development toolsformal methodssoftware engineering

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Publication:4934522
• scientific article; zbMATH DE number 1304369
• Mechanizing Mathematical Reasoning
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)
• Object organisation in software environments for formal methods

Cited in

(3)

• A framework and tool-support for reengineering software development methods
• scientific article; zbMATH DE number 1307376 (Why is no real title available?)
• Mechanizing Mathematical Reasoning

Describes a project that uses

Uses Software

• DisCo

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 Q4435384)