Formal Methods Pilot Project - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor. Formal Methods Pilot Project. In 3rd Asia-Pacific Software Engineering Conference (APSEC 96), December 4-7, 1996, Seoul, South Korea. pages 238-245, IEEE Computer Society, 1996. [doi]

This author has not been identified. Look up 'Tracey Hart' in GoogleThis author has not been identified. Look up 'Fiona Linn' in GoogleThis author has not been identified. Look up 'Roberto Morello' in GoogleThis author has not been identified. Look up 'Greg Royle' in GoogleThis author has not been identified. Look up 'Peter Kearney' in GoogleThis author has not been identified. Look up 'Peter A. Lindsay' in GoogleThis author has not been identified. Look up 'Kelvin J. Ross' in GoogleThis author has not been identified. Look up 'Owen Traynor' in Google

runs on WebDSL