Daniele Nardi
-
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm
Automated Software Engineering