Visitor

Views

Examen de model checking - LRDE - Epita

Corrigés des exercices et problèmes. 113 ... Deux remarques au sujet des variétés invariantes : ... 62 ¿>3? ? ? avec bi = adl : cette application de K dans [0, 1]?.