Nils Erik Flick
On Correctness of Graph Programs Relative to Recursively Nested Conditions
GCM, 2015.
@inproceedings{GCM-2015-Flick,
author = "Nils Erik Flick",
booktitle = "{Proceedings of the Sixth International Workshop on Graph Computation Models}",
ee = "http://ceur-ws.org/Vol-1403/paper8.pdf",
pages = "97--112",
publisher = "{CEUR-WS.org}",
series = "{CEUR Workshop Proceedings}",
title = "{On Correctness of Graph Programs Relative to Recursively Nested Conditions}",
volume = 1403,
year = 2015,
}