Runtime Verification: 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings (Lecture Notes in Computer Science, Band 8174)

Verification

von: Axel Legay · Saddek Bensalem

Taschenbuch

ISBN-13: 978-3-642-40786-4

ISBN-10: 3-642-40786-2

Springer · 2013