Search for persons
X
?
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
1
UTC Time, Formally Verified:
, In:
?
Logical Foundations of Computer Science; Lecture Notes in Computer Science ,
7