Vista normal
Vista MARC
- Simao, Adenilso.
Simao, Adenilso. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)302586: Davies, Jim. editor. 332920, Formal Methods: Foundations and Applications :
TEST - Catálogo BURRF
