Logical Synthesis of Imperative O. O. Programs.

Patrick Bellot, Bernard J. Robinet

Browse the full LOPSTR paper archive.