Fiona Linn

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

	1996
1		Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor: Formal Methods Pilot Project. APSEC 1996: 238-245

Coauthor Index

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Tracey Hart	[1]
2	Peter Kearney	[1]
3	Peter A. Lindsay (Peter Alexander Lindsay)	[1]
4	Roberto Morello	[1]
5	Kelvin J. Ross	[1]
6	Greg Royle	[1]
7	Owen Traynor	[1]