François Bobot - PEPM 2017

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Registered user since Mon 3 Apr 2017

Name:François Bobot

Affiliation:CEA

Contributions

2017

POPL

Let's Implement Your New Analysis using Industrially Strengthened Frama-C Plugins

Show activities from other conferences

POPL 2017-profile
View general profile