BibTeX record conf/jfla/RusuC09

download as .bib file

@inproceedings{DBLP:conf/jfla/RusuC09,
  author    = {Vlad Rusu and
               Manuel Clavel},
  editor    = {Alan Schmitt},
  title     = {V{\'{e}}rification d'invariants pour des syst{\`{e}}mes sp{\'{e}}cifi{\'{e}}s
               en logique de r{\'{e}}{\'{e}}criture},
  booktitle = {{JFLA} 2009, Vingti{\`{e}}mes Journ{\'{e}}es Francophones des
               Langages Applicatifs, Saint Quentin sur Is{\`{e}}re, France, January
               31 - February 3, 2009. Proceedings},
  series    = {Studia Informatica Universalis},
  volume    = {7.2},
  pages     = {317--350},
  year      = {2009},
  timestamp = {Sat, 19 Sep 2009 22:08:22 +0200},
  biburl    = {https://dblp.org/rec/conf/jfla/RusuC09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics