namin

user stats

Member SinceNovember 19, 2012
Last VisitAugust 5, 2014

Contact

developer for

Dafny: An Automatic Program Verifier for Functional Correctness

namin

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.