Evaluation reports FR

LSV - Laboratoire spécification et vérification

Type: Research unit evaluation report
Evaluation campaign: 2018-2019 (group E) - Published on: 27/03/2019
Institution(s) concerned: Ecole normale supérieure Paris-Saclay , Centre national de la recherche scientifique - CNRS , Université Paris-Sud
Disciplinary research field: Science and Technology (ST) ; ST6 Information and Communication Science and Technology
Scientific field(s): 9 - Sciences et technologies de l'information et de la communication
ERC panel(s): PE6 Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Keywords: méthodes formelles ; vérification ; preuves ; sécurité ; langages ; sémantique

Download file