Vlastimil Dort -

Registered user since Fri 26 Nov 2021

Name:Vlastimil Dort

Country:Czech Republic

Affiliation:Charles University

Contributions

ECOOP 2022	Committee Member in Artifact Evaluation Committee within the Artifacts-track Committee Member in Extended Review Committee within the Research Papers-track
ECOOP 2020	Author of Reference immutability for DOT within the Research Papers-track
ISSTA 2018	Author of Lightweight Verification of Array Indexing within the ISSTA Technical Papers-track Author of Lightweight Verification of Array Indexing within the ISSTA Artifacts-track