Person: Alexander Vandenbroucke
DBLP: Vandenbroucke:Alexander
Contributed to:
Wrote 1 papers:
- POPL-2020-VandenbrouckeS #functional #named #probability
- PλωNK: functional probabilistic NetKAT (AV, TS), p. 27.
DBLP: Vandenbroucke:Alexander