ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution).

Mon, 01 Jan 2024 00:00:00 +0100

Levente Bajczi , Zsófia Ádám , Zoltán Micskei :
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). TACAS (3) 2024: 330-334