Search for persons
X
?
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
3
Applying formal verification to microkernel IPC at meta:
, In:
?
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell ,
4