Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/vstte/Muller05
AU - Müller, Peter
TI - Reasoning about Object Structures Using Ownership.
BT - Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
SP - 93
EP - 104
PY - 2005//
DO - 10.1007/978-3-540-69149-5_12
UR - https://doi.org/10.1007/978-3-540-69149-5_12
ER -
