Skip to main content

Verifying Multi−threaded Software with Impact

Björn Wachter‚ Daniel Kroening and Joel Ouakine

Book Title
FMCAD
Year
2013