Share:
  • Title:Contracts, Revisited
  • Duration: 58:58
  • Plays: 317 views
  • Published: 2 months ago
Download MP3
Download MP4


Simillar Videos

Towards Sound `unsafe` Rust▶️ 1:04:20
Towards Sound `unsafe` Rust 317 views • 2 weeks ago
March Session -- Kani▶️ 53:18
March Session -- Kani 317 views • 2 years ago
Gillian Rust: A hybrid approach to unsafe Rust verification▶️ 55:21
Gillian Rust: A Hybrid Approach To Unsafe Rust Verification 317 views • 7 months ago
MiniRust: An operational semantics for Rust▶️ 57:22
Minirust: An Operational Semantics For Rust 317 views • 2 years ago