The Cogito development system
Owen Traynor‚ Dan Hazel‚ Peter Kearney‚ Andrew Martin‚ Ray Nickson and Luke Wildman
Address
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