scientific article; zbMATH DE number 3594625

MaRDI QIDQ4160378zbMATH OpenFDO

Authors Stephen J. Garland, David C. Luckham

Publication date 1972

Mathematics Subject Classification ID

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

Cited in

(1)

• Translatability of schemas over restricted interpretations

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