Skip to main navigation Skip to search Skip to main content

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)

Research output: Book/Report › Book › peer-review

Fingerprint

Dive into the research topics of 'Verification, model checking, and abstract interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, proceedings'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science

Biochemistry, Genetics and Molecular Biology