Skip to content. | Skip to navigation
Phase transitions in Computational Complexity and Formal Verification: Towards Generic and Realistic Approaches. Marie Curie International Reintegration Grant, contract MIRG-CT-2007-046573.
Text of the original proposal
Research team
Publications
First annual report
External recognition
Seminars, other useful material
Project wiki (internal)
This site conforms to the following standards:
Forgot your password?
New user?
