scientific article; zbMATH DE number 1487549

MaRDI QIDQ4493989zbMATH OpenFDO

Authors Tuan D. Pham

Publication date 10 August 2000

zbMATH Keywords

formal methodsformal specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1517029
• Using formal methods to specify the functional properties of engineering software
• scientific article; zbMATH DE number 1481757
• Specification methodology: An integrated relational approach

Cited in

(5)

• Specification methodology: An integrated relational approach
• scientific article; zbMATH DE number 3976317 (Why is no real title available?)
• scientific article; zbMATH DE number 139995 (Why is no real title available?)
• Using formal methods to specify the functional properties of engineering software
• scientific article; zbMATH DE number 1517029 (Why is no real title available?)

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