scientific article; zbMATH DE number 4003500

MaRDI QIDQ4728228zbMATH OpenFDO

Authors P. A. Collier

Publication date 1986

zbMATH Keywords

algebraic methodsprogramming language semantics

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• scientific article; zbMATH DE number 1022228 (Why is no real title available?)

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