user stats

Member SinceFebruary 2, 2010
Last VisitMay 7, 2013

developer for

Chalice: Specification and Verification of Concurrent Programs

ykass

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

Chalice: Specification and Verification of Concurrent Programs
Microsoft Research Boogie

forks

Chalice: Specification and Verification of Concurrent Programs: PuQBP