|
|
Daniel Goodman: Publications
by date |
by title |
by type |
bibtex
|
[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]
|
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
|
|
[3]
|
Infinite Lists for Specifying Functional Programs in Z
Andrew Martin
In Proceedings of Australian Refinement Workshop University of Queensland, 1996.
Details
|
BibTeX
|
|
[4]
|
Learning to Extract Significant Phrases from Text
Yuan J.Lui
No. RR-07-01, Technical Report, Oxford University Computing Laboratory. 2007.
Details
|
BibTeX
|
|
|
|
|
