Preuves par raffinement de programmes avec pointeurs. (Proofs by refinement of programs with pointers) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Asma Tafat. Preuves par raffinement de programmes avec pointeurs. (Proofs by refinement of programs with pointers). PhD thesis, University of Paris-Sud, Orsay, France, 2013. [doi]

@phdthesis{hal-1976,
  title = {Preuves par raffinement de programmes avec pointeurs. (Proofs by refinement of programs with pointers)},
  author = {Asma Tafat},
  year = {2013},
  url = {https://tel.archives-ouvertes.fr/tel-00874679},
  researchr = {https://researchr.org/publication/hal-1976},
  cites = {0},
  citedby = {0},
  school = {University of Paris-Sud, Orsay, France},
}

runs on WebDSL