stateless model checking (0)

by M MUSUVATHI, S Fair QADEER
Venue:In ACM Conference on Programming Language Design and Implementation (2008