DMCA

An integration of deductive retrieval into deductive synthesis (1999)

by Bernd Fischer , Jon Whittle
Venue:In Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE'99
Citations:3 - 0 self