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