Publicaciones en colaboración con investigadores/as de University of Leicester (2)

2017

  1. Validation of a Geant4 full model for the MIXS instrument at BepiColombo

    2017 17th European Conference on Radiation and Its Effects on Components and Systems, RADECS 2017

2005

  1. A verification logic for rewriting logic

    Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352