Cite
APA Citation
Atig, M. F., Bensalem, S., Bliudze, S., & Monsuez, B. (Eds.) (2018). Verification and evaluation of computer and communication systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. Cham, Switzerland : Springer. http://access.bl.uk/ark:/81055/vdc_100067088438.0x000001