Personensuche
X
?
Proceedings of the 38th International Conference on Software Engineering Companion ,
8
SMACK software verification toolchain:
, In:
?
Proceedings of the 2013 annual conference on Computers and people research ,
12