Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Lecture Notes in Computer Science, 12760)

制作 : AlexandraSilva  K. Rustan M.Leino 

• Springer (2021年7月17日発売)

感想・レビュー・書評

[室蘭工業大学附属図書館おすすめ電子ブックさんの感想 · 2022年7月28日]

同時アクセス数：無制限
【電子ブックへのリンク先】
https://doi.org/10.1007/978-3-030-81688-9
学外からのアクセス方法は
https://www.lib.muroran-it.ac.jp/searches/searches_eb.html#springer
を参照してください。