21st International Conference on Verification, Model Checking, and Abstract Interpretation, Artefact Evaluation (Veranstaltung)

Beschreibung

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2020 will be the 21st edition in the series.

Zeitraum	19 Jän. 2020 → 21 Jän. 2020
Ereignistitel	21st International Conference on Verification, Model Checking, and Abstract Interpretation, Artefact Evaluation
Veranstaltungstyp	Sonstiges
Ort	USA/Vereinigte StaatenAuf Karte anzeigen