
Registered user since Thu 13 Nov 2014
Name:Shengchao Qin
Country:United Kingdom
Affiliation:Teesside University
Research interests:Software Verification, Program Analysis, Formal Methods
Contributions
PLDI 2015-profile
View general profile
View general profile