Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... October 17-18, 2011. Revised Selected Papers

von: Reiner Hähnle · Jens Knoop · Tiziana Margaria Taschenbuch Details (USA) ISBN: 978-3-642-34782-5 ISBN-10: 3-642-34782-7 Springer · 2012