![](https://www.pdfsearch.io/img/c1c10a8cb9364091c7bef33db1948695.jpg) Date: 2017-12-04 13:50:44
| | Quantifiers and verification strategies: connecting the dots Natalia Talmina1 , Arnold Kochari2 , and Jakub Szymanik2∗ 1 2Add to Reading ListSource URL: www.jakubszymanik.comDownload Document from Source Website File Size: 574,25 KBShare Document on Facebook
|