Publicaciones en las que colabora con RUBÉN RAFAEL RUBIO CUÉLLAR (1)

2023

  1. Verification of the ROS NavFn planner using executable specification languages

    Journal of Logical and Algebraic Methods in Programming, Vol. 132