Runtime Verification
Subtitle: 16th International Conference, RV 2016, Madrid, Spain, September 23 30, 2016, Proceedings
Publisher: Springer International Publishing AG
Published: 2016
Language: eng
Number of pages: 512
ISBN-13: 9783319469812
Subjects: Computer software, verification