- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c3 |      | Evan Driscoll, Aditya V. Thakur, Thomas W. Reps: OpenNWA: A Nested-Word Automaton Library. CAV 2012: 665-671 |
| 2011 | ||
| c2 | | Evan Driscoll, Amanda Burton, Thomas W. Reps: Checking conformance of a producer and a consumer. SIGSOFT FSE 2011: 113-123 |
| 2010 | ||
| c1 | | Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps: Directed Proof Generation for Machine Code. CAV 2010: 288-305 |
| 1 | Tycho Andersen | |
| 2 | Amanda Burton | |
| 3 | Matt Elder | |
| 4 | Akash Lal | |
| 5 | Junghee Lim | |
| 6 | Thomas W. Reps | |
| 7 | Aditya V. Thakur |
Data released under the ODC-BY 1.0 license — See also our legal information page