Normal view
MARC view
Wu, D. J (Personal Name)
Machine generated authority record.
Work cat.: (OSt)144537: Formal Modelling in Electronic Commerce, 2005