Fiona Linn

According to our database, Fiona Linn authored at least 1 paper in 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1996

Formal Methods Pilot Project.

Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996