Cite
MLA Citation
Tiziana Margaria-Steffen et al., editors. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Cham, Switzerland : Springer, 2016. http://access.bl.uk/ark:/81055/vdc_100071536113.0x000001