aamodkore

user stats

Member SinceMay 17, 2015
Last VisitJuly 23, 2015

Contact

developer for

Bytecode Translator: A translator from .NET bytecode to Boogie

aamodkore

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.