Symbolic approximation: an approach to verification in the large | Publicación