scientific article; zbMATH DE number 980418

MaRDI QIDQ4333382zbMATH OpenFDO

Authors Anna-Lena Johansson

Publication date 9 June 1997

zbMATH Keywords

formal specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 42961
• scientific article; zbMATH DE number 4047195
• Publication:4945549
• scientific article; zbMATH DE number 776126
• Interactive models of computation and program behavior
• Systematic derivation of incremental programs
• Programmable program synthesis

Cited in

(4)

• scientific article; zbMATH DE number 4157861 (Why is no real title available?)
• scientific article; zbMATH DE number 2042727 (Why is no real title available?)
• scientific article; zbMATH DE number 2177628 (Why is no real title available?)
• Synthesis of logic programs from object-oriented formal specifications

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