#99: The Prusti Project: Formal Verification for Rust

Misreading Chat - Un pódcast de Hajime Morrita, Jun Mukai

prueba podimo gratis durante 60 días!

prueba podimo gratis durante 60 días!

Miles de audiolibros y podcasts exclusivos, haz clic aquí para probar

Podcast artwork

Categorías:

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