Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Saved in:
Bibliographic Details
Corporate Authors:
Other Authors:
Special Collection:e-book
Format: Book
Language:English
Published: Cham : Springer International Publishing, 2017
Series:Theoretical Computer Science and General Issues ; 10145.
Subjects:
Online Access:https://doi.org/10.1007/978-3-319-52234-0
Tags: Add Tag
Be the first to tag this record!

Internet

https://doi.org/10.1007/978-3-319-52234-0

Library of Fac. of Informatics

Holdings details from Library of Fac. of Informatics
Call Number: Copy: Collection: Status:
13882 13882 Nem kölcsönözhető