IC1402 - Runtime Verification beyond Monitoring (ARVI)

Main Contacts

Prof Martin Leucker

Action Chair +045131016500 leucker@isp.uni-luebeck.de

Prof Volker Stolz

Action Vice Chair +4745062439 volker.stolz@hvl.no

Dr Karina Marcus

Science Officer +3225333847 karina.marcus@cost.eu

Ms Olga Gorczyca

Administrative Officer +325333866 Olga.Gorczyca@cost.eu