Personensuche
X
?
Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering ,
3
Software model checking for distributed systems with select..:
, In:
?
Proceedings of the 9th ACM symposium on Document engineering ,
5