Gilles Barthe, Mariela Pavlova, Gerardo Schneider
Precise Analysis of Memory Consumption using Program Logics
SEFM, 2005.
@inproceedings{SEFM-2005-BarthePS, author = "Gilles Barthe and Mariela Pavlova and Gerardo Schneider", booktitle = "{Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods}", doi = "10.1109/SEFM.2005.34", isbn = "0-7695-2435-4", pages = "86--95", publisher = "{IEEE Computer Society}", title = "{Precise Analysis of Memory Consumption using Program Logics}", year = 2005, }