Runtime checking for separation logic - Nguyen, H.H. (2013)
10.1007/978-3-540-78163-9_19