The Cogito development system
Owen Traynor, Dan Hazel, Peter Kearney, Andrew Martin, Ray Nickson and Luke Wildman infoaddress | Berlin |
book title | Algebraic Methodology and Software Technology |
editor | Michael Johnson |
isbn | 3-540-63888-1 |
issn | 0302-9743 |
month | dec |
note | 6th International conference, AMAST'97, Sydney, Australia |
pages | 586—591 |
publisher | Springer-Verlag |
series | LNCS |
volume | 1349 |
year | 1997 |
links
BibTeX
related pages
|
