Vista normal
Vista MARC
- Katoen, Joost-Pieter.
Katoen, Joost-Pieter. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)295466: Broy, Manfred. editor. 307892, Model-Based Testing of Reactive Systems :
TEST - Catálogo BURRF
