Cite
MLA Citation
Constantin Enea et al., editors. Verification, model checking, and abstract interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings. Cham, Switzerland : Springer, 2019. http://access.bl.uk/ark:/81055/vdc_100075023007.0x000001