Aaron Benson

	2004
1		Michael Jones, Aaron Benson, Dan Delorey: Proving Compatibility Using Refinement. TPHOLs 2004: 168-183

Coauthor Index

1	Dan Delorey	[1]
2	Michael Jones	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page