Design
Listen now
Description
Design
More Episodes
Model Checking
Published 12/20/11
Why is Model-Checking Software Difficult?
Published 12/20/11
Dynamic Analysis
Published 12/20/11