
Registered user since Mon 2 Nov 2015
Name: Jan Oliver Ringert
Country: Germany
Affiliation: Tel Aviv University
Personal website: http://www.cs.tau.ac.il/~ringert/
Research interests: Software Engineering
Contributions
ICSE 2019 | Symbolic Repairs for GR(1) Specifications | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2019-profile
View general profile
View general profile