Program in Coq. (Programmer en Coq) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Guillaume Claret. Program in Coq. (Programmer en Coq). PhD thesis, Paris Diderot University, France, 2018. [doi]

@phdthesis{hal-11527,
  title = {Program in Coq. (Programmer en Coq)},
  author = {Guillaume Claret},
  year = {2018},
  url = {https://tel.archives-ouvertes.fr/tel-01890983},
  researchr = {https://researchr.org/publication/hal-11527},
  cites = {0},
  citedby = {0},
  school = {Paris Diderot University, France},
}

runs on WebDSL