Christoph Klee

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

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2022
Applying formal verification to microkernel IPC at meta.
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022


  Loading...