@inproceedings{siegel15shape,
  author = {H. Siegel and A. Simon},
  title = {Shape {A}nalysis with {C}onnectors},
  booktitle = {NASA Formal Methods},
  editor = {K. Havelund and G. J. Holzmann and R. Joshi},
  month = {April},
  year = 2015,
  pages = {343--358},
  series = {LNCS},
  volume = {9058},
  publisher = {Springer},
  address = {Passadena, California, USA},
}