VDM Specification of an Algorithm for Graph Decomposition

Abdul Huq, Narayanan T. Ramachandran. VDM Specification of an Algorithm for Graph Decomposition. JDIM, 5(6):347-353, 2007.

Abstract

Abstract is missing.