@phdthesis{hal-2122,
  title = {Logique du temps arborescent pour la spécification et la preuve de programmes},
  author = {Susanne Graf},
  year = {1984},
  url = {https://tel.archives-ouvertes.fr/tel-00011545},
  researchr = {https://researchr.org/publication/hal-2122},
  cites = {0},
  citedby = {0},
  school = {Grenoble Institute of Technology, France},
}