Showing results 1 to 2 of 2
Relaxing queries with hierarchical quantified data abstraction Shin, MK; Huh, Soon-Young; Park, D; Lee, W, JOURNAL OF DATABASE MANAGEMENT, v.19, no.4, pp.47 - 61, 2008-10 |
Two for the Price of One: Lifting Separation Logic Assertions Thamsborg, Jacob; Birkedal, Lars; Yang, Hongseok, LOGICAL METHODS IN COMPUTER SCIENCE, v.8, no.3, 2012 |
Discover