Vista normal
Vista MARC
- Tsay, Yih-Kuen.
Tsay, Yih-Kuen. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)294728: Peled, Doron A. editor. 328552, Automated Technology for Verification and Analysis :
TEST - Catálogo BURRF
