Publications of A. Groce sorted by journal and type
Publications of type Inproceedings
2011
| and , 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 |