Search results for: Michael W. Whalen
IEEE Software > 2016 > 33 > 4 > 22 - 25
Journal of Automated Reasoning > 2016 > 57 > 4 > 281-318
IEEE Software > 2013 > 30 > 2 > 54 - 60
International Journal on Software Tools for Technology Transfer > 2006 > 8 > 4-5 > 303-319
Automated Software Engineering > 2005 > 12 > 3 > 321-347