Travelled to:
1 × Italy
Collaborated with:
G.Schellhorn W.Reif
Talks about:
analysi (1) relat (1) bound (1) type (1) free (1) data (1)
Person: Andriy Dunets
DBLP: Dunets:Andriy
Contributed to:
Wrote 1 papers:
- TAP-2008-DunetsSR #analysis #bound #data type #relational
- Bounded Relational Analysis of Free Data Types (AD, GS, WR), pp. 99–115.