Professor LIU Jiangchao


Team : APR
Invited by : Antoine MINÉ
Arrival date : 07/18/2019
Departure date : 11/15/2019

Research activity

Analyse et vérification des logiciels informatiques, méthodes formelles, interprétation abstraite