Browse by Editor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco (1999). Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. In: "The Logic Programming Paradigm". Artificial Intelligence, Part I . Springer Berlin Heidelberg, pp. 161-192. ISBN 9783642642494. https://doi.org/10.1007/978-3-642-60085-2_7.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM