BibTeX record journals/corr/abs-1805-04636

download as .bib file

@proceedings{DBLP:journals/corr/abs-1805-04636,
  editor    = {R{\'{e}}gine Laleau and
               Dominique M{\'{e}}ry and
               Shin Nakajima and
               Elena Troubitsyna},
  title     = {Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge
               in formal system development {(IMPEX)} and Formal and Model-Driven
               Techniques for Developing Trustworthy Systems (FM{\&}MDD), IMPEX/FM{\&}MDD
               2017, and Formal and Model-Driven Techniques for Developing Trustworthy
               Systems (FM{\&}MDD) Xi'An, China, 16th November 2017},
  series    = {{EPTCS}},
  volume    = {271},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.04636},
  timestamp = {Mon, 13 Aug 2018 16:49:12 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1805-04636},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier