ETAPS 2019 (series) / Maja Kirkeby

Registered user since Mon 4 Mar 2019
Name:Maja Kirkeby
Affiliation:Roskilde University
Contributions
QAPL 2019 | Probabilistic output analyses for deterministic programs -reusing existing non-probabilistic analyses | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile