Conditional Effects in Fine-grained Region Logic

@inproceedings{Bao:2015:CEF:2786536.2786537,
  author = {Bao, Yuyan and Leavens, Gary T. and Ernst, Gidon},
  title = {Conditional Effects in Fine-grained Region Logic},
  booktitle = {Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs},
  series = {FTfJP '15},
  year = {2015},
  isbn = {978-1-4503-3656-7},
  location = {Prague, Czech Republic},
  pages = {5:1--5:6},
  articleno = {5},
  numpages = {6},
  url = {http://doi.acm.org/10.1145/2786536.2786537},
  doi = {10.1145/2786536.2786537},
  acmid = {2786537},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {formal specification, formal verification, framing, hoare logic, region logic}
}

This file was generated by bibtex2html 1.95.