ESEC/FSE 2020 (series) / Willem Visser
Registered user since Sun 30 Oct 2016
Name:Willem Visser
Country:South Africa
Affiliation:Stellenbosch University, South Africa
Personal website:http://www.cs.sun.ac.za/~wvisser
Contributions
| ESEC/FSE 2020 | Impact paper: Model Checking Programs Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ESEC/FSE 2020-profile
View general profile
View general profile