Publicaciones en las que colabora con JUAN RODRÍGUEZ HORTALÁ (1)

2023

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

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