Derek Ferris

	2009
1		Salamah Salamah, Matthew Del Buono, Eric Baily, Sarah Printy, Derek Ferris, Laurel Christian: Enhancing Property Specification Tools With Validation Techniques. SEKE 2009: 487-492

Coauthor Index

1	Eric Baily	[1]
2	Matthew Del Buono	[1]
3	Laurel Christian	[1]
4	Sarah Printy	[1]
5	Salamah Salamah	[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