scientific article; zbMATH DE number 2079992

zbMATH Open1044.68109MaRDI QIDQ4472170FDOQ4472170

Authors: Eric C. R. Hehner, I. T. Kassios 

Publication date: 3 August 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1088217
• Building and integrating semantic theories over institutions
• Improvement theory and its applications
• Structure formation in large theories
• scientific article; zbMATH DE number 2003150

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (2)

• Improvement theory and its applications
• Structure formation in large theories

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