Runtime Verification: Passing on the Baton

DOI10.1007/978-3-030-87348-6_5zbMath1520.68071MaRDI QIDQ6488339

Gordon J. Pace, Gerardo Schneider, Christian Colombo

Publication date: 13 April 2023

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Runtime Verification: Passing on the Baton