Closed Symbolic Execution for Verifying Program Termination | Publicación