Dan Delorey

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

Coauthor Index

1	Aaron Benson	[1]
2	Michael Jones	[1]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page