POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Steven Ramsay
Steven Ramsay

Registered user since Thu 30 Jun 2016

Name: Steven Ramsay

Country: United Kingdom

Affiliation: University of Bristol

Contributions

POPL 2018Author of Higher-Order Constrained Horn Clauses for Verification within the Artifact Evaluation-track
Author of Higher-Order Constrained Horn Clauses for Verification within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile