Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... and Information Science (17), Band 17)

von: Tiziana Margaria · Bernhard Steffen Taschenbuch Details (Deutschland) ISBN: 978-3-540-88478-1 ISBN-10: 3-540-88478-5 Springer · 2008