| Contributors: |
Goos, Gerhard, Founding EditorAff1; Hartmanis, Juris, Founding EditorAff2; Bertino, Elisa, Editorial Board MemberAff3; Gao, Wen, Editorial Board MemberAff4; Steffen, Bernhard, Editorial Board MemberAff5; Woeginger, Gerhard, Editorial Board MemberAff6; Yung, Moti, Editorial Board MemberAff7; Henglein, Fritz, editorAff8; Shoham, Sharon, editorAff9; Vizel, Yakir, editorAff10 |
| Source: |
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings. 12597:556-577 |