A Graph VDM Example
A test program for constructing directed graphs in K&R C (???)
The Sources
The directory
The Makefile
The DSL file Graph.vdm
The main program Graph-test.c
Graph-ops.h
Graph-ops.c
func.mcr
Make TEST
Call TEST
Make CLEAN