skip to content
Team APR
User Tools
Log In
Site Tools
Search
Tools
Show pagesource
Old revisions
Backlinks
Recent Changes
Media Manager
Sitemap
Log In
>
Recent Changes
Media Manager
Sitemap
Sidebar
Home
Team
Research
Publications
News
posters
This is an old revision of the document!
Posters of Team APR
Mathias Bourgoin - GDR
GPL
2014/05 :
High Performance Web-Cient Programming with SPOC (
PDF
)
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.1408614308.txt.gz
ยท Last modified: 2014/08/21 11:45 by
emmanuel
Page Tools
Show pagesource
Old revisions
Backlinks
Back to top