MarQ

swMATH21409MaRDI QIDQ33216FDOQ33216

Author name not available (Why is that?)

Cited In (1)

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

This page was built for software: MarQ