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 2015 Termination and Non-Termination Specification Inference
Show activities from other conferences

PLDI 2015-profile
View general profile