Publications of K. Schneider
2011
Program Sketching via CTL* Model Checking, in: Model Checking Software (SPIN), pages 126-143, Springer, 2011 | and ,
Program Sketching via CTL* Model Checking, in: Model Checking Software (SPIN), pages 126-143, Springer, 2011 | and ,