Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/aplas/HoborDA10
AU - Hobor, Aquinas
AU - Dockins, Robert
AU - Appel, Andrew W.
TI - A Logical Mix of Approximation and Separation.
BT - Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
SP - 439
EP - 454
PY - 2010//
DO - 10.1007/978-3-642-17164-2_30
UR - https://doi.org/10.1007/978-3-642-17164-2_30
ER -
