Matthew Podwysocki

Browse by Tags

• Making Spec# a Priority

  During ALT.NET Open Spaces, Seattle, I spent a bit of time with Rustan Leino and Mike Barnett from the Spec# team at Microsoft Research. This was to help introduce Design by Contract (DbC) and Spec# to the ALT.NET audience who may not have seen it before... Posted Apr 28 2008, 07:16 PM by Matthew.Podwysocki with | with 9 comment(s) Filed under: ALT.NET, Spec#