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