ykass

user stats

Member SinceFebruary 2, 2010
Last VisitDecember 9, 2015

Contact

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.