Wayne D. Heym (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

7

Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier: Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE 2008: 84-98

Selection of 1 from 8 records - Wayne D. Heym has 16 coauthors