Approximate verification in an open source world | Publicación