Roberto Morello

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor
Formal Methods Pilot Project. APSEC (1996)