DMCA

Goal-directed Invariant Synthesis for Model Checking Modulo Theories (2009)

by Silvio Ghilardi , Silvio Ranise
Citations:9 - 9 self