scientific article; zbMATH DE number 3628340

MaRDI QIDQ4190089zbMATH OpenFDO

Authors Andrzej Blikle

Publication date 1979

zbMATH Keywords

Mathematically Supported Correct ProgrammingSpecificationsTotally Correct Programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• Semantics of algorithmic languages

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