Vista normal
Vista MARC
- Gurov, Dilian.
Gurov, Dilian. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)305302: Beckert, Bernhard. editor. 329681, Formal Verification of Object-Oriented Software :
TEST - Catálogo BURRF
