×

zbMATH — the first resource for mathematics

On structured digraphs and program testing. (English) Zbl 0454.68005

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
68R10 Graph theory (including graph drawing) in computer science
68Q25 Analysis of algorithms and problem complexity
PDF BibTeX XML Cite
Full Text: DOI