Towards Certifying Domain Specific Properties of Synthesized Code (0)

by G Rosu, J Whittle
Venue:Proceedings of the 17th IEEE International Conference on Automated Software Engineering, 2002