Computer Aided Verification (30th International Conference)
Hana Chockler, Georg WeissenbacherVolume:
Part I
Year:
2018
Publisher:
Springer
Language:
english
ISBN 10:
3319961454
ISBN 13:
9783319961453
Series:
Lecture Notes in Computer Science, 10981
File:
PDF, 31.34 MB
IPFS:
,
english, 2018