Search for persons
X
?
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering ,
12
A compositional deadlock detector for Android Java:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
13