scientific article; zbMATH DE number 3464807

MaRDI QIDQ4050095zbMATH OpenFDO

Authors Luigia Carlucci Aiello, M. Aiello

Publication date 1974

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(1)

• PASCAL in LCF: Semantics and examples of proof

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