A short post to tell you that this is the blog of the Pex development team.
Pex is an exciting project developed at Microsoft Research, check it out at http://research.microsoft.com/pex .
Stay tuned!
