Login / Signup

From Specifications to Programs: Induction in the Service of Synthesis (Abstract).

Nachum Dershowitz
Published in: AII/ALT (1994)
Keyphrases