Caitlyn Wilde, Wyeth T. Greenlaw Rollins, Levi Overcast, Alain Kägi. Towards a Verified Implementation of a Network Stack. In Ben Stephenson, Jeffrey A. Stone, Lina Battestilli, Samuel A. Rebelsky, Libby Shoop, editors, Proceedings of the 55th ACM Technical Symposium on Computer Science Education, SIGCSE 2024, Volume 2, Portland, OR, USA, March 20-23, 2024. pages 1889, ACM, 2024. [doi]
Abstract is missing.