talk · community record
Analyzing Programs with SMT Solvers
Early version of his SMT-solver program-analysis talk, later reworked for Compose Conference.
01
Connections
1 relationship
Early version of his SMT-solver program-analysis talk, later reworked for Compose Conference.
1 relationship