Jérôme Feret

No bio available. Add one in Open Library.

Books by Jérôme Feret (50 max)

+ shelf+ list

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

2015

Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne

+ shelf+ list

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings

2017

Jérôme Feret, Heinz Koeppl