Zohar Manna;Mark Stickel;Richard Waldinger
-;-;-
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Automated deduction for verification
ACM Computing Surveys (CSUR)