Literals
- dcterms:contributor
- José Luis Herrero Agustín, Marisol Sánchez-Alonso
- ou:editorial
- Universidad de Castilla-La Mancha
- fabio:hasPublicationYear
- 2001
- vivo:identifier
- 2001-603
- bibo:isbn
- 8469962752
- bibo:page_range
- 189 - 203
- dcterms:publisher
- JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real)
- ou:tipoPublicacion
- Book Chapter
- dcterms:title
- Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas
- ou:urlDialnet
Inverse Relations
- Has related: ou:tienePublicacion