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

Misreading Chat - Een podcast door Hajime Morrita, Jun Mukai

Probeer Podimo de eerste 60! dagen gratis

Probeer Podimo de eerste 60! dagen gratis

Luister 30 dagen gratis naar exclusieve podcasts en duizenden luisterboeken

Podcast artwork

Categorieën:

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