nimrodpar

user stats

Member SinceJune 20, 2014
Last VisitOctober 19, 2016

Contact

developer for

SymDiff: A Platform for Differential Program Verification

nimrodpar

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.