• Sign in
  • Sign up
conf.researchr.org / Vlastimil Dort
  • ECOOP and ISSTA 2018 profile
  • SPLASH 2020 profile

Not registered as user yet

Name: Vlastimil Dort

Affiliation: Charles University

Contributions

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

Share
xSat 27 Feb 23:13
using conf.researchr.org (v1.42.1)
Support page
Sign Up