@inproceedings{BI07,
title = {On Flat Programs with Lists },
author = {Bozga, Marius and Iosif, Radu},
year = {2007},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings},
pages = {122-136},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4349},
team = {DCS,PACSS},
}
