Published in:
Authors: Stefan Jakšic; Ezio Bartocci, Radu Grosu, and Dejan Ničkovic
Partner: AIT
Year of publication: 2018
Place of publication: Podebrady, Czech Republic
2018 An Algebraic Framework for Runtime Verification
© 2020 AutoDrive - Project