Separation Logic and Abstraction (2005)

by Matthew Parkinson , Gavin Bierman
Citations:126 - 9 self