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