1. Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. (2017) Editors: Bouajjani, Ahmed; Monniaux, David Other Names: VMCAI (Conference), 18th Record Type: Book Extent: 1 online resource (xvii, 560 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗