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]
No references recorded for this publication.
No citations of this publication recorded.