Verifying Graph Programs with First-Order Logic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Graph Computation Models (GCM 2020), Revised Selected Papers
Publisher	Open Publishing Association
Pages	181-200
Number of pages	20
DOIs	https://doi.org/10.4204/EPTCS.330.11
Publication status	Published - 3 Dec 2020

Name	Electronic Proceedings in Theoretical Computer Science
Volume	330

Access to Document

@inproceedings{1ab111947529483da7bd7611057476c9,

title = "Verifying Graph Programs with First-Order Logic",

author = "Gia Wulandari and Detlef Plump",

year = "2020",

month = dec,

day = "3",

doi = "10.4204/EPTCS.330.11",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "181--200",

booktitle = "Graph Computation Models (GCM 2020), Revised Selected Papers",

address = "Australia",

}

TY - GEN

T1 - Verifying Graph Programs with First-Order Logic

AU - Wulandari, Gia

AU - Plump, Detlef

PY - 2020/12/3

Y1 - 2020/12/3

U2 - 10.4204/EPTCS.330.11

DO - 10.4204/EPTCS.330.11

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 181

EP - 200

BT - Graph Computation Models (GCM 2020), Revised Selected Papers

PB - Open Publishing Association

ER -