Author/Creator: Jobstmann, Barbara - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Jobstmann, Barbara

1. Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. (2016)

Editors:: Jobstmann, Barbara; Leino, K. Rustan M
Other Names:: VMCAI (Conference), 17th
Record Type:: Book
Extent:: 1 online resource (xiii, 558 pages), color illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗