Normal view
MARC view
FAST (Workshop) (8th : 2011 : Leuven, Belgium) (Meeting Name)
Machine generated authority record.
Work cat.: (AT-ISTA): FAST (Workshop) (8th : 2011 : Leuven, Belgium), Formal aspects of security and trust :, ©2012.