×
  • Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

    Fritz Henglein (editor) Sharon Shoham (editor) Yakir Vizel (editor)

Click on cover to enlarge.
Buy This Book
From Amazon.
14 - 16Hours to read