Spec# in the Real World

Now that I have the time for it, I’m going through a lot of material I’ve been collecting in my To Read folder over the past year or so. One of the videos I watched is Mike Barnett’s talk about Spec# at the recent Lang.NET Symposium….

You can read the copy of the original post, or if that goes down too, you can try the Wayback Machine’s copy of it.

Context: This post was automatically imported from my old blog, which was originally hosted on Microsoft’s ASP.NET Community Blogs. When they shut it down, I dumped all of my old posts to Wordpress. You can still check out the original blog on the Wayback Machine.