Amanda Burton

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	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

Coauthor Index

Last update Fri May 24 07:43:56 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page