scientific article; zbMATH DE number 3821093

MaRDI QIDQ3667932zbMATH OpenFDO

Authors Manfred Broy

Publication date 1983

zbMATH Keywords

formal specification

Mathematics Subject Classification ID

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

Cited in

(2)

• Automatic programming: A tutorial on formal methodologies
• Schema induction for logic program synthesis

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