Write a Blog >>
ICSE 2020
Mon 5 - Sun 11 October 2020 Yongsan-gu, Seoul, South Korea
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

ICSE 2020Author of mCoq: Mutation Analysis for Coq Verification Projects within the Demonstrations-track
Show activities from other conferences

Using general profile