Share:
  • Title:March Session -- Kani
  • Duration: 53:18
  • Plays: 812 views
  • Published: 2 years ago
Download MP3
Download MP4


Simillar Videos

Contracts, Revisited▶️ 58:58
Contracts, Revisited 812 views • 1 month ago
Towards Sound `unsafe` Rust▶️ 1:04:20
Towards Sound `unsafe` Rust 812 views • 2 weeks ago
Gillian Rust: A hybrid approach to unsafe Rust verification▶️ 55:21
Gillian Rust: A Hybrid Approach To Unsafe Rust Verification 812 views • 7 months ago
MiniRust: An operational semantics for Rust▶️ 57:22
Minirust: An Operational Semantics For Rust 812 views • 2 years ago