Alchemy: transmuting base alloy specifications into implementations

Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo. Alchemy: transmuting base alloy specifications into implementations. In Mary Jean Harrold, Gail C. Murphy, editors, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008. pages 158-169, ACM, 2008. [doi]

Abstract

Abstract is missing.