Cite
APA Citation
Enea, C., & Piskac, R. (Eds.) (2019). Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings. Cham, Switzerland : Springer. http://access.bl.uk/ark:/81055/vdc_100075023007.0x000001