Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Nuka, Gift and Woodcock, Jim
Mechanising a Unifying Theory.
Unifying Theories of Programming.
Lecture Notes in Computer Science, 4010
Springer, Berlin, pp. 217-35.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
Conference or workshop item