Publicacions en què col·labora amb 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