DMCA

Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction (2014)

Cached

Download Links

by Markus Kusano , Chao Wang
Venue:In Proc. ASE
Citations:2 - 0 self