その他のタイトルRuntime verification : 3rd international conference, RV 2012 : Istanbul, Turkey, September 25-28, 2012 : revised selected papers.
一般注記Abstracts and revised selected papers.
"The history of the RV conference series goes back to 2001 when it started as a workshop. It continued as an annual workshop series until 2009 and became a conference starting in 2010." -- pref.
"The RV 2012 program consisted of a mix of tutorials, (...)" -- pref.
書誌注記Includes bibliographical references and author index.