Skip to content
cs-conference-ranking.org

Maximally stateless model checking for concurrent bugs under relaxed memory models.

Alan Huang

VenueA*ICSE
Year2016
ProceedingsICSE (Companion Volume)
DBLP recordconf/icse/Huang16a ↗

Browse the full ICSE paper archive.