Difference: WebHome (35 vs. 36)

Revision 3616 Jun 2010 - Main.DavideSangiorgi

Line: 1 to 1
Line: 82 to 82
 (Highly Adaptable and Trustworthy Software using Formal Models), and in a few minor national projects.

Focus web page at INRIA

See here.

META FILEATTACHMENT attachment="images.jpg" attr="h" comment="" date="1262820922" name="images.jpg" path="images.jpg" size="2031" stream="images.jpg" user="Main.UgoDallago" version="1"
META FILEATTACHMENT attachment="newlogo.PNG" attr="h" comment="" date="1270124357" name="newlogo.PNG" path="newlogo.PNG" size="13278" stream="newlogo.PNG" user="Main.UgoDallago" version="1"
META FILEATTACHMENT attachment="Britain.png" attr="h" comment="" date="1272355326" name="Britain.png" path="Britain.png" size="5595" stream="Britain.png" user="Main.UgoDallago" version="1"
This website uses only proprietary and third party technical cookies to ensure the correct operation of its web pages and to improve its services.
By continuing to navigate the website you consent to the use of cookies. To learn more, or deny your consent, consult the privacy policy
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.