Mathias Péron
According to our database1,
Mathias Péron
authored at least 3 papers
between 2007 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
2007
2008
2009
2010
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
Contributions à l'analyse statique de programmes manipulant des tableaux. (Contributions to the Static Analysis of Programs Handling Arrays).
PhD thesis, 2010
2008
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
2007
Proceedings of the Verification, 2007