Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas

Literals

• dcterms:contributor
  • Herrero Agustín, José Luis; Sánchez Alonso, María Soledad
• 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
  • https://dialnet.unirioja.es/servlet/articulo?codigo=1068117

Typed Literals

• dcterms:created
  • 2005-01-30T00:00:00 (xsd:dateTime)
• dcterms:modified
  • 2024-11-08T00:00:00 (xsd:dateTime)

Inverse Relations

• Has related: ou:tienePublicacion
  • JOSÉ LUIS HERRERO AGUSTÍN