Personensuche
X
?
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs ,
2
Bisimulation up-to techniques for psi-calculi:
, In:
?
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education ,
4
Motivation and Grade Gap Related to Gender in a Programming..:
, In:
?
11
Automata, Languages and Programming
30th International Colloquium, ICALP 2003 Eindhoven, The Ne...
Lecture Notes in Computer Science ; 2719
?
15
Formal Techniques in Real-Time and Fault-Tolerant Systems
4th International Symposium, Uppsala, Sweden, September 9 -...
Lecture Notes in Computer Science ; 1135;SpringerLink, Bücher