Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Karl Palmskog

Registered user since Sun 27 May 2018

Name: Karl Palmskog

Country: United States

Affiliation: University of Texas at Austin

Personal website: https://setoid.com

Contributions

ASE 2019Author of Mutation Analysis for Coq within the Research Papers-track
Show activities from other conferences

Using general profile