BETTY Paper at TACAS 2015
A paper by BETTY authors has been accepted for TACAS 2015. Congratulations!
An LTL proof system for runtime verification. Adrian Francalanza and Clare Cini.
Skip to content. | Skip to navigation
Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201
Navigation
A paper by BETTY authors has been accepted for TACAS 2015. Congratulations!
An LTL proof system for runtime verification. Adrian Francalanza and Clare Cini.