Contact
 |
 |
|
| Publications by Juan Antonio Navarro | ||
 |
 |
2011 | |||||||||
| Andrey Rybalchenko and Juan Antonio Navarro. Separation logic + Superposition calculus = Heap theorem prover. In PLDI'11: Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation, San Jose, CA, USA, 2011. ACM Press. |
| ||||||||
