Write a Blog >>
ICSE 2021
Sun 16 May - Sat 5 June 2021
Karl Palmskog

Registered user since Sun 27 May 2018

Name: Karl Palmskog

Country: Sweden

Affiliation: KTH Royal Institute of Technology

Personal website: https://setoid.com

Contributions

ICSE 2021 Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Show activities from other conferences

Using general profile