#99: The Prusti Project: Formal Verification for Rust

Misreading Chat - Podcast tekijän mukaan Hajime Morrita, Jun Mukai

kokeile Podimo ilmaiseksi 90!!! päivän ajan

universumia joka on täynnä satoja podcasteja ja äänikirjoja, klikkaa tätä kokeillaksesi

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