BT

New Early adopter or innovator? InfoQ has been working on some new features for you. Learn more

Spec#  Content on InfoQ rss

News about Spec# rss

Followers Spec# and Boogie Released on CodePlex by Jonathan Allen Follow 6 Followers Posted on Aug 05, 2009

Followers .NET 4 Feature Focus: Code Contracts by Jonathan Allen Follow 6 Followers Posted on Nov 09, 2008 6

Followers Interview: Rustan Leino and Mike Barnett on Spec# by James Vastbinder Follow 0 Followers Posted on Aug 22, 2008

Followers Call for Microsoft to Release Spec# by James Vastbinder Follow 0 Followers Posted on May 28, 2008 2

Followers Spec# Puts an End to Null Reference Exceptions by Jonathan Allen Follow 6 Followers Posted on Apr 18, 2007 6

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT