"Sthread: In-Vivo Model Checking of Multithreaded Programs."

Gene Cooperman, Martin Quinson (2020)

Details and statistics

DOI: 10.22152/PROGRAMMING-JOURNAL.ORG/2020/4/13

access: open

type: Journal Article

metadata version: 2021-02-17