Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/birthday/Dezani-Ciancaglini16
AU - Dezani-Ciancaglini, Mariangiola
AU - Ghilezan, Silvia
AU - Jaksic, Svetlana
AU - Pantovic, Jovanka
AU - Yoshida, Nobuko
TI - Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.
BT - Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
SP - 155
EP - 172
PY - 2016//
DO - 10.1007/978-3-319-30734-3_12
UR - https://doi.org/10.1007/978-3-319-30734-3_12
ER -
