aleksmilicevic

user stats

Member SinceJune 21, 2011
Last VisitMay 6, 2012

Contact

developer for

Dafny: An Automatic Program Verifier for Functional Correctness

aleksmilicevic

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

forks

No forks.