Personensuche
X
?
Computer Aided Verification; Lecture Notes in Computer Science ,
3
Data-Driven Invariant Learning for Probabilistic Programs:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
12
A bunched logic for conditional independence:
, In:
?
Lecture Notes in Computer Science; Theory and Applications of Models of Computation ,
13