scientific article; zbMATH DE number 3707725

MaRDI QIDQ3899458zbMATH OpenFDO

Authors

Publication date 1981

zbMATH Keywords

PL/1PL/CPL/CSPL/CTstructured programming

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Describes a project that uses

Uses Software

• PL/I

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