MarQ

MaRDI QIDQ33216swMATHFDO

Official website https://rd.springer.com/chapter/10.1007/978-3-319-46982-9_34

Cited in

(3)

• Clara
• StaRVOOrS
• Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

This page was built for software: MarQ