Tracey Hart

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 Thu May 31 18:55:10 2012 CET by the DBLP Team —

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

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