conf.researchr.org / Ivan Gavran
Registered user since Mon 10 Aug 2020
Name:Ivan Gavran
Affiliation:MPI-SWS
Contributions
2020
SPLASH
- Committee 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