Bailey, Brian. (Nombre personal)

Machine generated authority record.

Work cat.: (MX-SnUAN)278239: Bailey, Brian. editor., Taxonomies for the Development and Verification of Digital Systems /