swu@oahu.cs.ucla.edu (07/14/89)
Could anyone tell me where I can get a LATEX's macro set for writing a VDM specification document ? Thanks in advance. Chi-Sharn Wu e-mail address : swu@cs.ucla.edu
leichter@CS.YALE.EDU (Jerry Leichter) (07/15/89)
In article <25747@shemp.CS.UCLA.EDU>, swu@oahu.cs.ucla.edu writes... > >Could anyone tell me where I can get a LATEX's macro set for writing >a VDM specification document ? Thanks in advance. > > >Chi-Sharn Wu >e-mail address : swu@cs.ucla.edu A macro package for VDM, with what appears to be extensive documentation, is available from the LaTeX style file collection at Clarkson. I've never used it - or VDM, for that matter - so can't comment on it. -- Jerry