Matches in DBpedia 2016-04 for { <http://www.cs.cmu.edu/~jcr/seplogic.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- seplogic.pdf authorlink "John C. Reynolds".
- seplogic.pdf first "John C.".
- seplogic.pdf isCitedBy Separation_logic.
- seplogic.pdf last "Reynolds".
- seplogic.pdf title "Separation Logic: A Logic for Shared Mutable Data Structures".
- seplogic.pdf url seplogic.pdf.
- seplogic.pdf work "LICS".
- seplogic.pdf year "2002".