2021 IEEE/ACM 9th International Conference ...
Document type :
Proceedings
Title :
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)
Publisher :
IEEE
Publication date :
2021
HAL domain(s) :
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]
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]
Language :
Anglais
Collections :
Source :