19th International Symposium on Automated Technology for Verification and Analysis (Begivenhed)

Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typerPeer reviewer/fagfællebedømmer af manuskripterForskning

Se relationer på Aarhus Universitet

Jalil Boudjadar - Redaktør

2021

Begivenhed (Konference)

Titel19th International Symposium on Automated Technology for Verification and Analysis
Forkortet titelATVA
Dato18/10/202122/10/2021
Hjemmeside
LandAustralien
Grad af anerkendelseInternational begivenhed

ID: 210534292