scientific article; zbMATH DE number 3714893

MaRDI QIDQ3906384zbMATH OpenFDO

Authors Hans-Joachim Klein

Publication date 1980

zbMATH Keywords

characterization of programsmost-recent property of ALGOL-like programsprocedures

Mathematics Subject Classification ID

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

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