A note on the use of Z to specify flowgraph decomposition
- 30 September 1988
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 30 (7) , 432-437
- https://doi.org/10.1016/0950-5849(88)90040-7
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Metrics and software structureInformation and Software Technology, 1987
- Axiomatic approach to Software Metrication through Program DecompositionThe Computer Journal, 1986
- A fast algorithm for finding dominators in a flowgraphACM Transactions on Programming Languages and Systems, 1979