Search for persons
X
?
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
8
Towards certified separate compilation for concurrent progr..:
, In:
?
Theoretical Aspects of Computing – ICTAC 2018; Lecture Notes in Computer Science ,
12