Tractable Reasoning in a Fragment of Separation Logic.

Tractable Reasoning in a Fragment of Separation Logic.

Ցույց տալ այլ տարբերակներ (1)
Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Cook, B, Haase, C, Ouaknine, J, Parkinson, M, Worrell, J
Ձևաչափ: Conference item
Հրապարակվել է: Springer 2011

Նմանատիպ նյութեր