An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs | Publicación