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