Runtime Verification: Revised Selected Papers/3rd International Conference, RV 2012, Istanbul, Turkey, September 2012

Б3.54, Б2.12.

Runtime Verification: Revised Selected Papers/3rd International Conference, RV 2012, Istanbul, Turkey, September 2012Ed. by Qadeer S., Tasiran S..-Berlin.: Springer, 2013.-Vol. 7687.-322 p.-(Lecture Notes in Computer Science).