Search dblp for Publications

export results for "Translating event-B to JML-specified Java programs"

 download as .bib file

@inproceedings{DBLP:conf/sac/RiveraC14,
  author    = {V{\'{\i}}ctor Rivera and
               N{\'{e}}stor Cata{\~{n}}o},
  editor    = {Yookun Cho and
               Sung Y. Shin and
               Sang{-}Wook Kim and
               Chih{-}Cheng Hung and
               Jiman Hong},
  title     = {Translating event-B to JML-specified Java programs},
  booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
               Korea - March 24 - 28, 2014},
  pages     = {1264--1271},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2554850.2554897},
  doi       = {10.1145/2554850.2554897},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sac/RiveraC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics