SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
SPLASH 2020 (series) / Ivan Gavran

Registered user since Mon 10 Aug 2020

Name: Ivan Gavran

Affiliation: MPI-SWS

Contributions

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

Using general profile