#99: The Prusti Project: Formal Verification for Rust

Misreading Chat - Een podcast door Hajime Morrita, Jun Mukai

Probeer Podimo de eerste 30! dagen gratis

Probeer Podimo de eerste 30! dagen gratis

Luister 30 dagen gratis naar exclusieve podcasts en duizenden luisterboeken

Podcast artwork

Categorieën:

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