leodemoura

user stats

Member SinceSeptember 27, 2012
Last VisitDecember 10, 2014

Contact

coordinator for

Z3
Z3 Test Suite

leodemoura

personal statement

I'm a researcher at Microsoft.
For more information, visit my website

activity stream

December 10, 2014 - Z3: Edited wiki: Home