Vista normal
Vista MARC
- Leucker, Martin.
Leucker, Martin. (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
