Algebraic Methodology and Software Technology

DOI10.1007/B98770MaRDI QIDQ5313010zbMATH OpenOpenAlexFDO

Authors Michael Benedikt, Glenn Bruns

Publication date 25 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98770

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1717351
• scientific article; zbMATH DE number 1182734
• scientific article; zbMATH DE number 4178756
• On simplification of database integrity constraints
• Integrity checking and maintenance in relational and deductive databases and beyond

Cited in

(1)

• scientific article; zbMATH DE number 1629838 (Why is no real title available?)

Describes a project that uses

Uses Software

• PVS
• SIMPLIFY

This page was built for publication: Algebraic Methodology and Software Technology

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