scientific article; zbMATH DE number 1638643

zbMATH Open0967.68529MaRDI QIDQ2736339FDOQ2736339

Authors: Maura Cerioli, Egidio Astesiano 

Publication date: 29 August 2001

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

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)