Person. Andrei Paskevich Associate professor / Maître de conférences · Laboratoire Méthodes Formelles · tertium.org PhD advisorKonstantin Verchinine, Vladimir Donchenko PhD studentsLéon Gondelman PhDKiev State University