DMCA

Detecting fair nontermination in multithreaded programs (2012)

by Mohamed Faouzi Atig , Ahmed Bouajjani , Michael Emmi , Akash Lal
Venue:In Computer Aided Verification
Citations:8 - 4 self