A certified verifier for a fragment of Separation logic (2007)

Cached

Download Links

by Nicolas Marti , Reynald Affeldt
Venue:In JSSST Workshop on Programming and Programming Languages (PPL’07). Japan Society for Software Science and Technology
Citations:7 - 0 self