[引用][C] Certification des raisonnements formels portant sur des systèmes d'information critiques.(Certifying formal reasoning about critical information systems).

A Henaien - 2015 - University of Lorraine, Nancy …
相关文章