édéric Mallet

• Formal Techniques for Safety-Critical Systems