Misreading Chat

#99: The Prusti Project: Formal Verification for Rust

Listen Later
Rust で使える静的検証ツールの論文を向井が読みました。
...more
View all episodesView all episodes
Download on the App Store
Misreading ChatBy Hajime Morrita, Jun Mukai
  • 5
  • 5
  • 5
  • 5
  • 5

5

6 ratings

More shows like Misreading Chat

View all
Rebuild by Tatsuhiko Miyagawa

Rebuild

51 Listeners

耳で学ぶAI、ロボシンク by 矢野 哲平

耳で学ぶAI、ロボシンク

1 Listeners