An innovative teaching tool based on semantic tableaux for verification and debugging of programs | Publicación