Message from the Chairs
Other conference contribution, 2021
No abstract available
Author
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Davide Ancona
University of Genoa
Adrian Francalanza
University of Malta
VORTEX 2021 - Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, co-located with ECOOP/ISSTA 2021
III- 3468453
9781450385466 (ISBN)
5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, VORTEX 2021, co-located with ECOOP/ISSTA 2021
Virtual, Online, Denmark,
Virtual, Online, Denmark,
Subject Categories
Computer and Information Science
DOI
10.1109/MEMCOD.2007.371261