scientific article; zbMATH DE number 1638643

MaRDI QIDQ2736339zbMATH OpenFDO

Authors Maura Cerioli, Egidio Astesiano

Publication date 29 August 2001

Mathematics Subject Classification ID

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

Cited in

(1)

• Free objects and equational deduction for partial conditional specifications

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