BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@unpublished{TUW-294465,
    author = {Bartocci, Ezio and Kovacs, Laura and Bura, Efstathia},
    title = {ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs},
    year = {2020},
    note = {talk: Vienna Science, Research and Technology Fund - ProbInG, online; 2020-12-14 -- 2020-12-15}
}


1 Datensatz ausgegeben