scientific article; zbMATH DE number 3767018

MaRDI QIDQ3948577zbMATH OpenFDO

Authors Christian Horn

Publication date 1981

zbMATH Keywords

drafting and specification of programs in ABSTRACT-PASCALformal verification methodsmergesort

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05) 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 Q3948577)