For further information please contact Margarita Korovina.
For enquiries concerning registration, please contact CICADA project manager Helen.Harper.
HOWARD-60
Higher-Order Workshop on Automated Runtime verification and Debugging
For further information please contact Margarita Korovina.
For enquiries concerning registration, please contact CICADA project manager Helen.Harper.