Collaborated with:
C.Prandoni M.Doerr
Talks about:
formalis (1) clearanc (1) right (1) model (1) digit (1)
Person: Marlis Valentini
DBLP: Valentini:Marlis
Contributed to:
Wrote 1 papers:
- ECDL-2009-PrandoniVD #formal method
- Formalising a Model for Digital Rights Clearance (CP, MV, MD), pp. 327–338.