Predicate Synthesis from Formal Specifications.

Marta Franov, Yves Kodratoff

Browse the full ECAI paper archive.