Mgr. Jiří Zárevúcky

e‑mail:

Základní údaje

Druh

Počet publikací: 1

2021

On Lexicographic Proof Rules for Probabilistic Termination

CHATTERJEE Krishnendu GOHARSHADY Ehsan Kafshdar NOVOTNÝ Petr ZÁREVÚCKY Jiří ŽIKELIĆ Djordje

Článek ve sborníku

24th International Symposium on Formal Methods, FM 2021, rok: 2021