Tractable Reasoning in a Fragment of Separation Logic.

Détails bibliographiques
Auteurs principaux: Cook, B, Haase, C, Ouaknine, J, Parkinson, M, Worrell, J
Format: Conference item
Publié: Springer 2011