conf.researchr.org / Petar Vukmirović
Not registered as user yet
Name:Petar Vukmirović
Contributions
| TACAS 2019 | Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track |
Not registered as user yet
Contributions
| TACAS 2019 | Author of Extending a Brainiac Prover to Lambda-Free Higher-Order Logic within the TACAS 2019-track |