nadia_polikarpova

user stats

Member SinceDecember 7, 2010
Last VisitJune 5, 2015

Contact

developer for

Dafny: An Automatic Program Verifier for Functional Correctness

nadia_polikarpova

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

No projects being followed.

forks

No forks.