@InProceedings{BravoInforum:13,
  author = "Bravo, M.  and Machado, N.  and Rodrigues, L.",
  title = "Reprodu\c{c}\~{a}o de Erros de Concorr\^{e}ncia em Aplica\c{c}\~{o}es Java Atrav\'{e}s de Execu\c{c}\~{a}o Simb\'{o}lica",
  booktitle = "Actas do quinto Simpósio de Informática (Inforum)",
  year = 2013,
  address = "\'{E}vora, Portugal",
  month = sep
}