Predicate Synthesis from Formal Specifications

Marta Franová, Yves Kodratoff. Predicate Synthesis from Formal Specifications. In ECAI. pages 87-91, 1992.

Abstract

Abstract is missing.