Rustan Leino discusses with Carl and Richard the features and functionality of the Spec # programming language.
See All 2010 Episodes of ".NET Rocks!"