scientific article; zbMATH DE number 1912049

zbMATH Open1012.68011MaRDI QIDQ4807482FDOQ4807482

Authors: Vahur Kotkas 

Publication date: 18 May 2003

scientific article; zbMATH DE number Title of this publication is (Why is no real title available?)

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

zbMATH Keywords

SSPJavaautomated synthesis of programsmeta-interfaces

Mathematics Subject Classification ID

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

Cited In (2)

• Synthesis of interface specifications for Java classes
• Title not available (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)