Fintan Fairmichael

	2009
3		Joseph R. Kiniry, Fintan Fairmichael: Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations. CBSE 2009: 242-261
2		Mikolás Janota, Fintan Fairmichael, Viliam Holub, Radu Grigore, Julien Charles, Dermot Cochran, Joseph R. Kiniry: CLOPS: A DSL for Command Line Options. DSL 2009: 187-210
	2006
1		Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers: The KOA Remote Voting System: A Summary of Work to Date. TGC 2006: 244-262

Coauthor Index

1	Patrice Chalin	[1]
2	Julien Charles	[2]
3	Dermot Cochran	[1] [2]
4	Radu Grigore	[2]
5	Viliam Holub	[2]
6	Engelbert Hubbers	[1]
7	Mikolás Janota	[2]
8	Joseph Kiniry (Joseph R. Kiniry)	[1] [2] [3]
9	Alan E. Morkan	[1]
10	Martijn Oostdijk	[1]