|
|
Daniel Goodman: Publications
by date |
by title |
by type |
bibtex
journal papers
|
[1] |
The Cogito development system
Owen Traynor et al.
In Michael Johnson, editor, Algebraic Methodology and Software Technology Vol. 1349 of LNCS, pages 586—591. Berlin. December 1997. Springer-Verlag.
6th International conference, AMAST'97, Sydney, Australia.
Details
|
BibTeX
|
conference papers
|
[1] |
Supplementing the understanding of Z: a formal approach to database design
Simpson, A. C., Martin, A. P.
In Proceedings of the BCS Teaching Formal Methods workshop BCS, 2003.
Details
|
BibTeX
|
|
[2] |
Learning to Extract Significant Phrases from Text
Yuan J.Lui
No. RR-07-01, Technical Report, Oxford University Computing Laboratory. 2007.
Details
|
BibTeX
|
technical reports
|
[1] |
Infinite Lists for Specifying Functional Programs in Z
Andrew Martin
In Proceedings of Australian Refinement Workshop University of Queensland, 1996.
Details
|
BibTeX
|
|
|
|
|
