Symbolic execution as a basis for termination analysis | Publicación