#99: The Prusti Project: Formal Verification for Rust

Misreading Chat - A podcast by Hajime Morrita, Jun Mukai

Try Bookbeat 60! days for free, click here

Enjoy a whole world of audiobooks and e-books, everything from new releases to the classics

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