IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
Ioannis Parissis
Organization: Univ. Grenoble Alpes - Grenoble INP
Web page: http://lcis.grenoble-inp.fr/membres-+/ioannis-parissis-409408.kjsp?RH=LCIS2_CTSYS-MEM
Pages in this Program
Program
Program for Wednesday, December 4th