* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Karl Palmskog

Registered user since Sun 27 May 2018

Name: Karl Palmskog

Country: United States

Affiliation: The University of Texas at Austin

Personal website: https://setoid.com

Contributions

* ICSE 2018 *Author of A Regression Proof Selection Tool For Coq within the DEMO - Demonstrations -track
Show activities from other conferences

* ICSE 2018 *-profile
View general profile