DMCA

Towards Certifying Domain-Specific Properties of Synthesized Code (Extended Abstract) (2002)

Cached

Download Links

by Grigore Rosu , Jon Whittle
Venue:In Proc of the 17th International Conference on Automated Software Engineering
Citations:5 - 1 self