user stats

Member SinceJuly 17, 2009
Last VisitMarch 29, 2012

coordinator for

BoogiePartners
VACID solutions

developer for

Microsoft Research Boogie
Spec#

mueller

personal statement

No personal statement has been written.

activity stream

March 29, 2012 - Spec#: Commented work item: VS2010 gets very slow

projects i'm following

forks

No forks.