BI as an Assertion Language for Mutable Data Structures (2000)

by Samin Ishtiaq , Peter W. O'Hearn
Citations:149 - 14 self