Personensuche
X
?
4
Runtime Verification
Third International Conference, RV 2012, Istanbul, Turkey, ...
Lecture Notes in Computer Science ; 7687;SpringerLink, Bücher
?
5
Computer aided verification
23rd international conference, CAV 2011, Snowbird, UT, USA,...
Lecture notes in computer science ; 6806