Author/Creator: VMCAI (Conference), 18th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator VMCAI (Conference), 18th

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) ↗