Contributions
Frama-CJul 2005 to Present
bibtex2html 78 commits Jun 1999 to Mar 2010
Coq proof assistant 46 commits Mar 2003 to Nov 2009
About Me
Location
Orsay, France
Ohloh Activity
Joined Ohloh 01 Apr 2010
No forum posts.
No project reviewed.
Copyright
©
2013
Black Duck Software, Inc.
and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a
Creative Commons Attribution 3.0 Unported License
. Ohloh
®
and the Ohloh logo are trademarks of
Black Duck Software, Inc.
in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.