BibTeX record conf/fsfma/2013

download as .bib file

@proceedings{DBLP:conf/fsfma/2013,
  editor    = {Christine Choppy and
               Jun Sun},
  title     = {1st French Singaporean Workshop on Formal Methods and Applications,
               {FSFMA} 2013, July 15-16, 2013, Singapore},
  series    = {{OASICS}},
  volume    = {31},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2013},
  isbn      = {978-3-939897-56-9},
  timestamp = {Wed, 17 Jul 2013 13:03:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsfma/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics