RezaAh

user stats

Member SinceJuly 7, 2014
Last VisitMarch 5, 2016

Contact

developer for

Dafny: An Automatic Program Verifier for Functional Correctness

RezaAh

personal statement

Please see more info about me here:
https://fi.linkedin.com/in/ahmreza

activity stream

No activity in the last 60 days.

projects i'm following

No projects being followed.

forks

No forks.