School of Computing - University of Teesside - Middlesbrough (UK)
Menu of Content

Presentation Slides

Title of the Talk Presenter Download Link for Slides
Unifying Probability Jeff Sanders Download PDF
Operational semantics for state-rich reactive programs Jim Woodcock Download PDF
Issues Regarding R2 and Undefinedness Andrew Butterfield Download PDF
In case of any problems accessing this website please email