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]
@phdthesis{hal-10577, title = {Certification des raisonnements formels portant sur des systèmes d'information critiques. (Certifying formal reasoning about critical information systems)}, author = {Amira Henaien}, year = {2015}, url = {https://tel.archives-ouvertes.fr/tel-01751759}, researchr = {https://researchr.org/publication/hal-10577}, cites = {0}, citedby = {0}, school = {University of Lorraine, Nancy, France}, }