Amira Henaien. Certification des raisonnements formels portant sur des systèmes d'information critiques. (Certifying formal reasoning about critical information systems). PhD thesis, University of Lorraine, Nancy, France, 2015. [doi]
Abstract is missing.