Model-Checking Task Parallel Programs for Data-Race
Published in Lecture notes in computer science • Jan 1, 2018
NobleIDNI3P09W42R87S81
Authors:,,
Radha Nakade
Eric Mercer
Peter Aldous
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!