Skip to content
cs-conference-ranking.org

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

Levente Bajczi, Zsfia dm, Zoltn Micskei

VenueATACAS
Year2024
ProceedingsTACAS (3)
DBLP recordconf/tacas/BajcziAM24 ↗

Browse the full TACAS paper archive.