Salamah Salamah, Matthew Del Buono, Eric Baily, Sarah Printy, Derek Ferris, Laurel Christian. Enhancing Property Specification Tools With Validation Techniques. In Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE 2009), Boston, Massachusetts, USA, July 1-3, 2009. pages 487-492, Knowledge Systems Institute Graduate School, 2009.
Abstract is missing.