Jérôme Guéry

Latest

• Fixed-Point Arithmetic Modeled in B Software Using Reals
• Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project