Search for persons
X
?
23rd International Symposium on Principles and Practice of Declarative Programming ,
1
Papaya: Global Typestate Analysis of Aliased Objects:
, In:
?
Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs ,
2
Behavioural separation with parallel usages:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
3