conf.directory

Automated Software Verification

2 talks about Automated Software Verification

Omg, how do I write software that isn't a ticking timebomb!? - Eivind Jahren - NDC TechTown 2024
42:50
Intermediate

Omg, how do I write software that isn't a ticking timebomb!? - Eivind Jahren - NDC TechTown 2024

Eivind Jahren
NDC Conferences
0 views
January 7 2025
Watch Now
CORE - Cooperative Reasoning for Automatic Software Verification
35:15
Advanced

CORE - Cooperative Reasoning for Automatic Software Verification

Andrew Ireland
Google Tech Talks
3,213 views
June 6 2008
Watch Now
Automated Software Verification - Tech Conference Talks and Videos | conf.directory | conf.directory