The Cogito Development System

Owen Traynor, Daniel Hazel, Peter Kearney, Andrew Martin, Ray Nickson, Luke Wildman. The Cogito Development System. In Michael Johnson, editor, Algebraic Methodology and Software Technology, 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Proceedings. Volume 1349 of Lecture Notes in Computer Science, pages 586-591, Springer, 1997.

Authors

Owen Traynor

This author has not been identified. Look up 'Owen Traynor' in Google

Daniel Hazel

This author has not been identified. Look up 'Daniel Hazel' in Google

Peter Kearney

This author has not been identified. Look up 'Peter Kearney' in Google

Andrew Martin

This author has not been identified. Look up 'Andrew Martin' in Google

Ray Nickson

This author has not been identified. Look up 'Ray Nickson' in Google

Luke Wildman

This author has not been identified. Look up 'Luke Wildman' in Google