#99: The Prusti Project: Formal Verification for Rust
Misreading Chat · Jun Mukai
September 27, 202239m 33s
Audio is streamed directly from the publisher (misreadingchat.files.wordpress.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
Rust で使える静的検証ツールの論文を向井が読みました。感想などはハッシュタグ #misreading か [email protected] にお寄せください。iTunes のレビューや星も歓迎です。