@inproceedings{ff170befb351427885a4ea24d97b9897,
title = "Leveraging applications of formal methods, verification, and validation: InternationalWorkshops SARS 2011 and MLSC 2011 Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011 Revised Selected Papers",
author = "Reiner H{\"a}hnle and Jens Knoop and Tiziana Margaria and Dietmar Schreiner and Bernhard Steffen",
year = "2012",
doi = "10.1007/978-3-642-34781-8",
language = "English",
isbn = "9783642347801",
series = "Communications in Computer and Information Science",
booktitle = "Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011, Revised Selected Papers",
note = "International Workshops on Software Aspects of Robotic Systems, SARS 2011 and Machine Learning for System Construction, MLSC 2011, Held Under the Auspices of the ISoLA 2011 ; Conference date: 17-10-2011 Through 18-10-2011",
}