Titre :

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)

Éditeur :

IEEE

Date de publication :

2021

Discipline(s) HAL :

Informatique [cs]/Systèmes embarqués
Informatique [cs]/Génie logiciel [cs.SE]
Informatique [cs]/Langage de programmation [cs.PL]
Informatique [cs]/Modélisation et simulation
Informatique [cs]/Système multi-agents [cs.MA]

Langue :

Anglais

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL