scientific article; zbMATH DE number 1638644

MaRDI QIDQ2736340zbMATH OpenFDO

Authors Zhaohui Luo

Publication date 29 August 2001

Mathematics Subject Classification ID

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

Cited in

(1)

• Encoding Z-style Schemas in type theory

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