Vista normal
Vista MARC
- Núñez, Manuel.
Núñez, Manuel. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)296835: Havelund, Klaus. editor. 332192, Formal Approaches to Software Testing and Runtime Verification :