Practical Formal Verification of Domain-Specific Language Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Greg Eakman, Howard Reubenstein, Tom Hawkins, Mitesh Jain, Panagiotis Manolios. Practical Formal Verification of Domain-Specific Language Applications. In Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Volume 9058 of Lecture Notes in Computer Science, pages 443-449, Springer, 2015. [doi]

This author has not been identified. Look up 'Greg Eakman' in GoogleThis author has not been identified. Look up 'Howard Reubenstein' in GoogleThis author has not been identified. Look up 'Tom Hawkins' in GoogleThis author has not been identified. Look up 'Mitesh Jain' in GoogleThis author has not been identified. Look up 'Panagiotis Manolios' in Google

runs on WebDSL