Tractable Reasoning in a Fragment of Separation Logic.

Tractable Reasoning in a Fragment of Separation Logic.

Visa andra versioner (1)
Bibliografiska uppgifter
Huvudupphovsmän: Cook, B, Haase, C, Ouaknine, J, Parkinson, M, Worrell, J
Materialtyp: Conference item
Publicerad: Springer 2011
Beskrivning
Sammanfattning:

Liknande verk