#99: The Prusti Project: Formal Verification for Rust

Misreading Chat - En podcast af Hajime Morrita, Jun Mukai

Prøv Podimo gratis! i 30 dage

Et univers fyldt med hundredvis af eksklusive podcasts & lydbøger, klik her for at prøve

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