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.
@inproceedings{TraynorHKMNW97,
title = {The Cogito Development System},
author = {Owen Traynor and Daniel Hazel and Peter Kearney and Andrew Martin and Ray Nickson and Luke Wildman},
year = {1997},
researchr = {https://researchr.org/publication/TraynorHKMNW97},
cites = {0},
citedby = {0},
pages = {586-591},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Proceedings},
editor = {Michael Johnson},
volume = {1349},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63888-1},
}