Unifying Theories of Objects: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Unifying Theories of Locations
Michael Anthony Smith, Jeremy Gibbons
In Andrew Butterfield, editor, Unifying Theories of Programming Dublin. September 2008.
Details
|
BibTeX
| Link (pdf) |
|
[2]
|
Unifying Theories of Objects
Michael Anthony Smith, Jeremy Gibbons
In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods Vol. 4591 of Lecture Notes in Computer Science, pages 599-618. Springer-Verlag, 2007.
Details
|
BibTeX
| Link (pdf) |
|
