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