about
description
Bilimsel yazı
@tr
Teadustekst
@et
article scientifique
@fr
articolo scientifico
@it
artigo científico
@pt
artikull shkencor
@sq
artykuł naukowy
@pl
artículo científico
@es
artículu científicu
@ast
scientific article
@en
name
An Overview of Separation Logic
@ast
An Overview of Separation Logic
@en
An Overview of Separation Logic
@en-gb
type
label
An Overview of Separation Logic
@ast
An Overview of Separation Logic
@en
An Overview of Separation Logic
@en-gb
prefLabel
An Overview of Separation Logic
@ast
An Overview of Separation Logic
@en
An Overview of Separation Logic
@en-gb
P1476
An Overview of Separation Logic
@en
P356
10.1007/978-3-540-69149-5_49