DMCA

Symbolic bounded conformance checking of model programs (2009)

by Margus Veanes , Nikolaj Bjørner
Citations:3 - 2 self