Stephen Fenech

	2009
3		Stephen Fenech, Gordon J. Pace, Gerardo Schneider: CLAN: A Tool for Contract Analysis and Conflict Discovery. ATVA 2009: 90-96
2		Stephen Fenech, Gordon J. Pace, Gerardo Schneider: Automatic Conflict Detection on Contracts. ICTAC 2009: 200-214
1		Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider: On the Specification of Full Contracts. Electr. Notes Theor. Comput. Sci. 253(1): 39-55 (2009)

Coauthor Index

1	Joseph C. Okika	[1]
2	Gordon J. Pace	[1] [2] [3]
3	Anders P. Ravn	[1]
4	Gerardo Schneider	[1] [2] [3]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page