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