@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}, }