Julien Brunel

Una mirada a la verificación del comportamiento de sistemas robóticos en diferentes capas.