Travelled to:
1 × Austria
Collaborated with:
M.Veanes N.Bjørner L.Nachmanson
Talks about:
decomposit (1) monad (1)
Person: Sergey Bereg
DBLP: Bereg:Sergey
Contributed to:
Wrote 1 papers:
- CAV-2014-VeanesBNB #composition #monad
- Monadic Decomposition (MV, NB, LN, SB), pp. 628–645.