@inproceedings{BIP08,
title = {Quantitative Separation Logic and Programs with Lists },
author = {Bozga, Marius and Iosif, Radu and Perarnau, Swann},
year = {2008},
booktitle = {Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings},
pages = {34-49},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5195},
team = {DCS,PACSS},
}
