A Graph VDM Example


A test program for constructing directed graphs in K&R C (???)


The Sources