DECOVALEX-2023: Task B Final Report | Publicación