Laura Kovacs - POPL 2018

Registered user since Wed 10 Jul 2019

Name: Laura Kovacs

Affiliation: Chalmers University of Technology

Contributions

VMCAI 2018	Committee Member in Program Committee within the VMCAI 2018-track Author of Invariant Generation for Multi-Path Loops with Polynomial Assignments within the VMCAI 2018-track
POPL 2018	Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences