Jérôme Guéry

According to our database, Jérôme Guéry authored at least 2 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Fixed-Point Arithmetic Modeled in B Software Using Reals.

Jérôme Guéry, Olivier Rolland, Joris Rehm

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2012

Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project.

Denis Sabatier, Lilian Burdy, Antoine Requet, Jérôme Guéry

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012