Computer Aided Verification (30th International Conference)
Hana Chockler, Georg WeissenbacherΤόμος:
Part I
Έτος:
2018
Εκδότης:
Springer
Γλώσσα:
english
ISBN 10:
3319961454
ISBN 13:
9783319961453
Σειρές:
Lecture Notes in Computer Science, 10981
Αρχείο:
PDF, 31.34 MB
IPFS:
,
english, 2018