Navarro, Marcelo
1043  Ergebnisse:
Personensuche X
?
 
?
8

Slicing of probabilistic programs based on specifications:

Navarro, Marcelo ; Olmedo, Federico
Science of Computer Programming.  220 (2022)  - p. 102822 , 2022
 
?
 
1-15