IOHK |
ライブラリー
ライブラリー > Denis Firsov
Denis Firsov
Leakage-Free Probabilistic Jasmin Programs
José Bacelar Almeida,Denis Firsov,Tiago Oliveira,Dominique Unruh
January 2025, To appear in: CPP '25
ライブラリー > Denis Firsov
José Bacelar Almeida,Denis Firsov,Tiago Oliveira,Dominique Unruh
January 2025, To appear in: CPP '25