SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Ivan Gavran

Registered user since Mon 10 Aug 2020

Name: Ivan Gavran

Affiliation: MPI-SWS

Contributions

SPLASH 2020 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Interactive Synthesis of Temporal Specifications from Examples and Natural Language
Interactive Synthesis of Temporal Specifications from Examples and Natural Language
Show activities from other conferences

SPLASH 2020-profile
View general profile