stefanheule

user stats

Member SinceDecember 4, 2010
Last VisitAugust 6, 2013

Contact

developer for

BoogiePartners
Chalice: Specification and Verification of Concurrent Programs

stefanheule

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

forks

No forks.