kiranlakhotia

user stats

Member SinceDecember 4, 2009
Last VisitOctober 24, 2011

Contact

coordinator for

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

kiranlakhotia

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.