Runtime verification with minimal intrusion through parallelism

From MaRDI portal
Publication:888419