Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CONF
ID - DBLP:conf/fmco/2012
ED - Giachino, Elena
ED - Hähnle, Reiner
ED - Boer, Frank S. de
ED - Bonsangue, Marcello M.
TI - Formal Methods for Components and Objects - 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
T3 - Lecture Notes in Computer Science
VL - 7866
PY - 2013//
PB - Springer
DO - 10.1007/978-3-642-40615-7
UR - https://doi.org/10.1007/978-3-642-40615-7
SN - ISBN 978-3-642-40614-0
ER -
