#99: The Prusti Project: Formal Verification for Rust

Misreading Chat - Ein Podcast von Hajime Morrita, Jun Mukai

Podimo 90!!! Tage kostenlos! testen

Ein Universum voller exklusiver Podcasts und Hörbücher. Klicken Sie hier um loszulegen!

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