podcast
details
.com
Share
Misreading Chat
#99: The Prusti Project: Formal Verification for Rust
Listen
Description
Rust で使える静的検証ツールの論文を向井が読みました。
podcast
details
Print
Share
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
Check it
This website doesn't track the visitors or use any cookies. Made by
Alex Barredo
. Send your feedback to
alex@barredo.es
.