TY  - RPRT
TI  - Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution)
AU  - Eti Chaudhary
AU  - Saurabh Joshi
PY  - 2019
DO  - 10.1007/978-3-030-17502-3_20
UR  - https://arxiv.org/abs/1903.02309
ID  - 1903.02309
ER  -