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]
No references recorded for this publication.
No citations of this publication recorded.