Jérôme Guéry

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Constraint Databases

Fixed Point Theorem

Variational Inequalities

Top Venues

Publications

Jérôme Guéry, Olivier Rolland, Joris Rehm
Fixed-Point Arithmetic Modeled in B Software Using Reals. ABZ (2014)
Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project. ABZ (2012)