scientific article; zbMATH DE number 1912049

MaRDI QIDQ4807482zbMATH OpenFDO

Authors Vahur Kotkas

Publication date 18 May 2003

zbMATH Keywords

SSPJavaautomated synthesis of programsmeta-interfaces

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2084338
• scientific article; zbMATH DE number 4084990
• Synthesis of network structure design programs
• From program verification to program synthesis
• Synthesis of interface specifications for Java classes

Cited in

(2)

• Synthesis of interface specifications for Java classes
• scientific article; zbMATH DE number 7278100 (Why is no real title available?)

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