@inproceedings{hubert:hal-03630177, TITLE = {{Separation Analysis for Weakest Precondition-based Verification}}, AUTHOR = {Hubert, Thierry and March{\'e}, Claude}, URL = {https://inria.hal.science/hal-03630177}, BOOKTITLE = {{HAV 2007 - Heap Analysis and Verication}}, ADDRESS = {Braga, Portugal}, PAGES = {81--93}, YEAR = {2007}, MONTH = Mar, PDF = {https://inria.hal.science/hal-03630177/file/hubert07hav.pdf}, HAL_ID = {hal-03630177}, HAL_VERSION = {v1}, }