Communiqués par Pierre-Loic Garoche

Cover for Pierre-Loic Garoche · Formal Verification of Control System Software - Princeton Series in Applied Mathematics (Hardcover Book) (2019)
Hardcover Book
Formal Verification of Control S...
Pierre-Loic Garoche
Cover for Pierre-loïc Garoche · Static Analysis of Actors by Abstract Interpretation: Applying Abstract Interpretation to an Higher Order Process Calculus (Paperback Book) (2010)
Paperback Book
Static Analysis of Actors by Abs...
Pierre-loïc Garoche