Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.


Taylor, Chris and Till, David (2000) A Semantics of Simultaneous Events (SSE) for State-Based Formal Specification. Formal Aspects of Computing, (Full text available)

Conference or workshop item

Derrick, John and Boiten, Eerke and Bowman, Howard and Steen, Maarten (1997) Weak refinement in Z. In: Bowen, Jonathan P. and Hinchey, Michael G. and Till, David, eds. ZUM '97: The Z Formal Specification Notation. Lecture Notes in Computer Science, 1212. Springer-Verlag, Reading pp. 369-388. ISBN 3-540-62717-0. (Full text available)
[img] [img]

This list was generated on Fri Oct 9 20:12:20 2015 BST.