FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C. B., Pihlajasaari, P., & Sun 0001, J. Volume 2014.
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings [link]Paper  bibtex   
@proceedings{ dblp1603028,
  title = {FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings},
  author = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun 0001},
  author_short = {Jones, C. B. and Pihlajasaari, P. and Sun 0001, J.},
  bibtype = {proceedings},
  type = {proceedings},
  year = {2014},
  key = {dblp1603028},
  id = {dblp1603028},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fm/2014},
  url = {http://dx.doi.org/10.1007/978-3-319-06410-9},
  conference = {FM},
  text = {FM 2014},
  booktitle = {Proceedings of Formal Methods (FM)}
}

Downloads: 0