Merkliste 
 1 Ergebnisse 
 
1

This is the moment for probabilistic loops:

Moosbrugger, Marcel ; Stankovič, Miroslav ; Bartocci, Ezio.
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA2 - p. 1497-1525 , 2022