Publicaciones en colaboración con investigadores/as de European Space Research and Technology Centre (1)

2003

  1. Static and Dynamic Verification of Critical Software for Space Applications

    European Space Agency, (Special Publication) ESA SP