Fundamentals Of Deductive Program Synthesis (1992)

Cached

Download Links

by Zohar Manna , Richard Waldinger
Venue:IEEE Transactions on Software Engineering
Citations:65 - 1 self