Model Checking and Teaching Computer Science | Joseph Sifakis | TEDxNiendorf

This content originally appeared on TEDx Talks and was authored by TEDx Talks

This content originally appeared on TEDx Talks and was authored by TEDx Talks