Automatiser les preuves d un sous-langage de la méthode B - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Olivier Boite. Automatiser les preuves d un sous-langage de la méthode B. Technique et Science Informatiques, 21(8):1099-1120, 2002. [doi]

@article{Boite02,
  title = {Automatiser les preuves d un sous-langage de la méthode B},
  author = {Olivier Boite},
  year = {2002},
  url = {http://tsi.revuesonline.com/article.jsp?articleId=3825},
  researchr = {https://researchr.org/publication/Boite02},
  cites = {0},
  citedby = {0},
  journal = {Technique et Science Informatiques},
  volume = {21},
  number = {8},
  pages = {1099-1120},
}

runs on WebDSL