Rustan Leino discusses with Carl and Richard the features and functionality of the Spec # programming language.Support this podcast at — https://redcircle.com/net-rocks/donations
