Registered user since Thu 13 Nov 2014

Name: Shengchao Qin

Country: United Kingdom

Affiliation: Teesside University

Research interests: Software Verification, Program Analysis, Formal Methods

PLDI 2015 Activities

PLDI 2015-profile
View general profile