scientific article; zbMATH DE number 1206050

MaRDI QIDQ4209092zbMATH OpenFDO

Authors Alexandre Dikovsky

Publication date 9 November 1998

Mathematics Subject Classification ID

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

Review text

See the review in Zbl 0645.68022. For the entire collection see [Zbl 0853.00021].

Cited in

(5)

• Modelling Jackson's programming method
• The sequence modeling method based on ECC in developing program specifications
• scientific article; zbMATH DE number 5827855 (Why is no real title available?)
• scientific article; zbMATH DE number 3936483 (Why is no real title available?)
• Composing model programs for analysis

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