Shengchao Qin

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 2015Author of Termination and Non-Termination Specification Inference within the Research Papers-track
Show activities from other conferences

PLDI 2015-profile
View general profile