scientific article; zbMATH DE number 1980916

MaRDI QIDQ4428290zbMATH OpenFDO

Authors Serge Autexier, Dieter Hutter

Publication date 15 September 2003

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Mechanizing Mathematical Reasoning
• Transformations of specifications and proofs to support an evolutionary formal software development.
• Proof transformations for evolutionary formal software development
• scientific article; zbMATH DE number 1617292
• FM 2005: Formal Methods

Cited in

(6)

• Proof transformations for evolutionary formal software development
• Change management for heterogeneous development graphs
• Transformations of specifications and proofs to support an evolutionary formal software development.
• Mechanizing Mathematical Reasoning
• Computer supported mathematics with MEGA
• Enforcing structural regularities in software using intensive

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