#99: The Prusti Project: Formal Verification for Rust

Misreading Chat - Podcast készítő Hajime Morrita, Jun Mukai

Podcast artwork

Kategóriák:

Technológia

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