Patrick Baillot
AuthID: R-00K-HJ9
1
TÃTULO: A Kleene Algebra with Tests for Union Bound Reasoning About Probabilistic Programs
AUTORES: Leandro Gomes; Patrick Baillot; Marco Gaboardi;
PUBLICAÇÃO: 2025, FONTE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
AUTORES: Leandro Gomes; Patrick Baillot; Marco Gaboardi;
PUBLICAÇÃO: 2025, FONTE: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, VOLUME: 326
INDEXADO EM: 
DBLP
DBLP