Vista normal
Vista MARC
- Havelund, Klaus.
Havelund, Klaus. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)296835: Havelund, Klaus. editor., Formal Approaches to Software Testing and Runtime Verification :
TEST - Catálogo BURRF
