Online Library TheLib.net » Author books / Книги автора Howard Barringer Klaus Havelund (auth.) Sarfraz Khurshid Koushik Sen (eds.)
book Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
pdf
00
27.01.2024
0
0
Read online