Preface

Fritz Henglein, Sharon Shoham, Yakir Vizel, Klaus von Gleissenthall, Troels Henriksen

פרסום מחקרי: פרסום בכתב עתמאמר מערכת

שפה מקוריתאנגלית
עמודים (מ-עד)v-vii
כתב עתLecture Notes in Computer Science
כרך12597 LNCS
סטטוס פרסוםפורסם - 2021
אירוע22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021 - Copenhagen, דנמרק
משך הזמן: 17 ינו׳ 202119 ינו׳ 2021

ASJC Scopus subject areas

  • ???subjectarea.asjc.2600.2614???
  • ???subjectarea.asjc.1700???

פורמט ציטוט ביבליוגרפי