Deductive Synthesis

Jochen Burghardt. Deductive Synthesis. In Claus Lewerentz, Thomas Lindner, editors, Formal Development of Reactive Systems - Case Study Production Cell. Volume 891 of Lecture Notes in Computer Science, pages 295-309, Springer, 1995.

Abstract

Abstract is missing.