scientific article

zbMATH Open0577.68029MaRDI QIDQ3698290

Curtis R. Cook, Warren A. Harrison

Publication date: 1984

Title of this publication is not available (Why is that?)

zbMATH Keywords

flow graphprogram graphcall graphprogram complexity measure

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (05C99)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3698290)