#99: The Prusti Project: Formal Verification for Rust#99:

39:33
 
シェア
 

Manage episode 342527513 series 2151064
著作 Hajime Morrita , Jun Mukai の情報はPlayer FM及びコミュニティによって発見されました。著作権は出版社によって所持されます。そして、番組のオーディオは、その出版社のサーバから直接にストリーミングされます。Player FMで購読ボタンをタップし、更新できて、または他のポッドキャストアプリにフィードのURLを貼り付けます。

Rust で使える静的検証ツールの論文を向井が読みました。感想などはハッシュタグ #misreadinghello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。

110 つのエピソード