Christoph Klee

According to our database, Christoph Klee authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2022

Applying formal verification to microkernel IPC at meta.

Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022