Publications by the researcher in collaboration with JUAN RODRÍGUEZ HORTALÁ (2)

2023

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

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

2016

  1. Polymorphic types in erlang function specifications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)