#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

Misreading Chat - Ein Podcast von Hajime Morrita, Jun Mukai

Podimo 90!!! Tage kostenlos! testen

Ein Universum voller exklusiver Podcasts und Hörbücher. Klicken Sie hier um loszulegen!

AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。