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/ReportBookpeer-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.

Keyphrases

Computer Science