Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi. Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 300-317, Springer, 2023. [doi]

This author has not been identified. Look up 'Davide Ancona' in GoogleThis author has not been identified. Look up 'Angelo Ferrando 0001' in GoogleThis author has not been identified. Look up 'Viviana Mascardi' in Google

runs on WebDSL