New blog post!

Peter Mueller and Rustan Leino talk about their 2025 Test of Time Award

[1] https://etaps.org/blog/045-tot-2025/