FM 2019: 23RD INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Frédéric Lang
Organization: Inria Grenoble - Rhône-Alpes / CONVECS
Web page: http://convecs.inria.fr/people/Frederic.Lang
Pages in this Program
Program
Program for Wednesday, October 9th