Team APR

User Tools

Site Tools

Sidebar

posters

This is an old revision of the document!

Posters of Team APR

  • Etienne Millon - GDR GPL 2014/05 : Verify the Safety of User Pointers Using Static Typing (PDF)
  • Philippe Wang - AERES LIP6 2013/01 : Safety-critical Software Development Tools Implementation Using an Applicative Language (PDF)
posters.1408454492.txt.gz ยท Last modified: 2014/08/19 15:21 by emmanuel

Page Tools

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki