Search for persons
X
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
8
Enhancing Expressivity of Checked Corecursive Streams:
, In:
?
Financial Cryptography and Data Security; Lecture Notes in Computer Science ,
13
Is Solidity Solid Enough?:
, In:
?
Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs ,
14