Vol-1402⫷ Vol-1403 ⫸Vol-1404
urn:nbn:de:0074-1403-0


Vol-1403/paper7⫷Vol-1403/paper8
Nils Erik Flick

On Correctness of Graph Programs Relative to Recursively Nested Conditions