@inproceedings{Soter:AGERE,
  title = "Soter: an Automatic Safety Verifier for {Erlang}",
  author = "D'Osualdo, Emanuele and Kochems, Jonathan and Ong, Luke",
  year = "2012",
  booktitle = "Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions",
  location = "Tucson, Arizona, USA",
  note = "\url{http://mjolnir.cs.ox.ac.uk/soter/papers/soter-demo.pdf}",
  pages = "137--140",
  publisher = "ACM",
  series = "AGERE! '12",
  url = "http://doi.acm.org/10.1145/2414639.2414658",
}