Cite
MLA Citation
Bartocci (Computer scientist) et al., editors. Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. Cham : Springer, 2015. http://access.bl.uk/ark:/81055/vdc_100070039022.0x000001