#99: The Prusti Project: Formal Verification for Rust

Misreading Chat - En podkast av Hajime Morrita, Jun Mukai

Prøv Podimo gratis i hele 60! dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

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