Vista normal
Vista MARC
- Majumdar, Rupak.
Majumdar, Rupak. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)298467: Havelund, Klaus. editor. 332192, Model Checking Software :
TEST - Catálogo BURRF
| |
TEST - Catálogo BURRF |
|
|---|
Machine generated authority record.
Work cat.: (MX-SnUAN)298467: Havelund, Klaus. editor. 332192, Model Checking Software :