Pierre-Loic Garoche

Share

Bibliography

collections

Princeton Series In Applied Mathematics

  1. Formal Verification Of Control System Software
    #1

Lecture Notes In Computer Science

  1. Static Analysis Of Actors By Abstract Interpretation
    #1
X
Recommend
Pierre-Loic Garoche
To recommend this author to a friend, simply fill in your name and email, as well as the name and email of the person you want to suggest them to. If you wish, you can also add a small comment, then click to send the request. Your recommendation will be immediately sent in your name to the email address of the person you are recommending them to.
Your identification:
The identification of the person you want to recommend this title to:
X
Your recommendation has been successfully sent!
X
An error occurred while sending your recommendation.
X
selecione o livro adotado:
X
An error occurred!
Please try again later.
X
You have reached the maximum number of authorized devices
Please go to your customer area to manage active devices.