Rustan Leino and Mike Barnett on Spec#
Rustan Leino & Mike Barnett
Aug 21, 2008
Greg Young sat down with Rustan Leino and Mike Barnett of Microsoft Research to discuss Spec#. Spec# is a superset of C# and allows developers to impose contracts on their own code and verify it. This benefits developers by allowing them to find their own errors sooner saving time and resources.