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]

Authors

Shriram Krishnamurthi

Identified as Shriram Krishnamurthi

Kathi Fisler

This author has not been identified. Look up 'Kathi Fisler' in Google

Daniel J. Dougherty

This author has not been identified. Look up 'Daniel J. Dougherty' in Google

Daniel Yoo

This author has not been identified. Look up 'Daniel Yoo' in Google