BibTeX record conf/misc/BuissonR18

• > Home > conf/misc/BuissonR18

@inproceedings{DBLP:conf/misc/BuissonR18,
  author       = {J{\'{e}}r{\'{e}}my Buisson and
                  Seidali Rehab},
  editor       = {Salim Chikhi and
                  Abdelmalek Amine and
                  Allaoua Chaoui and
                  Djamel{-}Eddine Sa{\"{\i}}douni},
  title        = {Effective Bridging Between Ecore and Coq: Case of a Type-Checker with
                  Proof-Carrying Code},
  booktitle    = {Modelling and Implementation of Complex Systems - Proceedings of the
                  5th International Symposium, {MISC} 2018, Laghouat, Algeria, December
                  16-18, 2018},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {64},
  pages        = {259--273},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-05481-6\_20},
  doi          = {10.1007/978-3-030-05481-6\_20},
  timestamp    = {Sat, 09 Apr 2022 12:45:41 +0200},
  biburl       = {https://dblp.org/rec/conf/misc/BuissonR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}