Local action and abstract separation logic (2007)

by Cristiano Calcagno , Peter W. O’Hearn , Hongseok Yang
Venue:IN PROC. 22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS’07
Citations:76 - 10 self