Publications dans lesquelles il/elle collabore avec 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