Reachability Analysis of Rewriting for Software Verification (2009)

by Thomas Genet
Citations:6 - 4 self