Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023

Name: Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023
Uploaded: 2023-05-22T00:00:00.000Z
Duration: 4035 s
Description: Video Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023

(link)

Channel: NDC Conferences