Alchemy: Transmuting Base Alloy Specifications into Implementations (2008)

by Shriram Krishnamurthi, Kathi Fisler, Daniel J Dougherty, Daniel Yoo
Venue:In Proceedings of the 16th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE