@inproceedings{Ios8d,
title = { {Program Verification with Separation Logic} },
author = {Iosif, Radu},
month = {Jun},
year = {2018},
booktitle = {{Model Checking Software - 25th International Symposium, {SPIN} 2018}},
address = {Malaga, Spain},
team = {RSD, axe_Mohytos},
pdf = {https://hal.archives-ouvertes.fr/hal-02388033/file/abstract.pdf},
hal_id = {hal-02388033},
hal_version = {v1},
}