@article{BIP10,
title = {Quantitative Separation Logic and Programs with Lists },
author = {Bozga, Marius and Iosif, Radu and Perarnau, Swann},
year = {2010},
journal = {J. Autom. Reasoning},
number = {2},
pages = {131-156},
volume = {45},
team = {DCS,PACSS},
}
