par Majumdar, Anirban
;Mukherjee, Sayan
;Raskin, Jean-François 
Référence 22nd International Symposium on Automated Technology for Verification and Analysis (Kyoto, Japan)
Publication Non publié, 2025



Référence 22nd International Symposium on Automated Technology for Verification and Analysis (Kyoto, Japan)
Publication Non publié, 2025
Communication à un colloque
Titre: |
|
Auteur: | Majumdar, Anirban; Mukherjee, Sayan; Raskin, Jean-François |
Informations sur la publication: | 22nd International Symposium on Automated Technology for Verification and Analysis (Kyoto, Japan) |
Statut de publication: | Non publié, 2025 |
Sujet CREF: | Informatique générale |
Informatique mathématique | |
Langue: | Anglais |