DMCA
Fundamentals Of Deductive Program Synthesis (1992)
by
Zohar Manna
,
Richard Waldinger
Venue: | IEEE Transactions on Software Engineering |
Citations: | 77 - 1 self |