Export: Experiments in abstract interpretation-based code certification for pervasive systems

Albert Albiol, Elvira and Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. (2004). Experiments in abstract interpretation-based code certification for pervasive systems. In: "Systems, Man and Cybernetics, 2004 IEEE International Conference on", 10-13 Oct. 2004. ISBN 0780385667.

Please select an output format:

  • 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