Loading...
Images of Ionut Tutu
(0 from 0 )News
ICCSW'13
iccsw.doc.ic.ac.uk
Ionut Tutu: Logical Foundations of Services; Quoc-Sang Phan: Self-composition by Symbolic Execution; Bas van Gijzel: Tools for the ...
WADT : 22nd International Workshop on Algebraic Development...
www.wikicfp.com
WADT : 22nd International Workshop on Algebraic Development Techniques
sorted by relevance / date