Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
ECOOP and ISSTA 2018 (series) / ISSTA 2018 (series) / Vlastimil Dort

Not registered as user yet

Name: Vlastimil Dort

Affiliation: Charles University

Contributions

ISSTA 2018Author of Lightweight Verification of Array Indexing within the ISSTA Technical Papers-track
Author of Lightweight Verification of Array Indexing within the ISSTA Artifacts-track
Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile