Ignore:
Timestamp:
Feb 14, 2014, 12:09:26 PM (6 years ago)
Author:
campbell
Message:

Note the specification language in Sec 3.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.bib

    r3339 r3431  
    263263  bibsource = {DBLP, http://dblp.uni-trier.de}
    264264}
     265
     266@inproceedings{bobot,
     267  year={2012},
     268  isbn={978-3-642-34280-6},
     269  booktitle={Formal Methods and Software Engineering},
     270  volume={7635},
     271  series={Lecture Notes in Computer Science},
     272  editor={Aoki, Toshiaki and Taguchi, Kenji},
     273  doi={10.1007/978-3-642-34281-3_14},
     274  title={Separation Predicates: A Taste of Separation Logic in First-Order Logic},
     275  url={http://dx.doi.org/10.1007/978-3-642-34281-3_14},
     276  publisher={Springer Berlin Heidelberg},
     277  author={Bobot, François and Filliâtre, Jean-Christophe},
     278  pages={167-181}
     279}
Note: See TracChangeset for help on using the changeset viewer.