Write a Blog >>
MSR 2018
Mon 28 - Tue 29 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
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