#99: The Prusti Project: Formal Verification for Rust

Rust で使える静的検証ツールの論文を向井が読みました。

Om Podcasten

森田と向井がコンピュータサイエンス周辺の論文をなんとなく読んで感心する Podcast です。