Media type: E-Article Title: Proving correctness of graph programs relative to recursively nested conditions Contributor: Flick, Nils Erik [VerfasserIn] imprint: 2016 Published in: Electronic communications of the EASST ; Bd. 73 (2016), insges. 20 S. Language: English DOI: 10.14279/tuj.eceasst.73.1037.1025 ISSN: 1863-2122 Identifier: Origination: Footnote: Access State: Open Access