Registered user since Thu 2 Aug 2018

Name:Guoxin Su
Affiliation:University of Wollongong, Australia
Research interests:Formal verification, probabilistic reasoning, big data

Contributions

Show activities from other conferences

ESEC/FSE 2018-profile
View general profile