Research output per year
Research output per year
Search results
-
2017
Behavioural types: From theory to tools
Gay, S. & Ravara, A., 31 Jul 2017, River Publishers. 375 p.Research output: Book/Report › Book › peer-review
41 Citations (Scopus) -
2016
Web services, formal methods, and behavioral types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Hildebrandt, T., Ravara, A., Van Der Werf, J. M. & Weidlich, M., 1 Jan 2016, Cham: Springer International Publishing AG. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9421)Research output: Book/Report › Book › peer-review