Complexity of pattern-based verification for multithreaded programs

Article CLOSED
Javier Esparza; Pierre Ganty;
(2011)
Share - Bookmark