QADEER, A
5  Ergebnisse:
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
 
1-5