Institution. Laboratoire Méthodes Formelles link · lmf.cnrs.fr · ROR People Andrei Paskevich andreipaskevichAssociate professor / Maître de conférences · Laboratoire Méthodes Formelles PhD advisorKonstantin Verchinine, Vladimir Donchenko PhD studentsLéon Gondelman PhDKiev State University tertium.org