Research output per year
Research output per year
Search results
-
2015
Three Approaches to Timed External Choice in UTP
Canham, S. J. & Woodcock, J., 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). Springer, Vol. 8963. p. 1-20 (Lecture Notes in Computer Science; vol. 8963).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution