Vista normal
Vista MARC
- Pretschner, Alexander.
Pretschner, Alexander. (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
