Laura Kovacs - PEPM 2017

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Registered user since Wed 10 Jul 2019

Name:Laura Kovacs

Affiliation:Chalmers University of Technology

Contributions

2017

POPL

Coming to Terms with Quantified Reasoning

VMCAI

Committee Member in Program committee

Show activities from other conferences

POPL 2017-profile
View general profile