VDM style file

Article View: comp.specification

Article #370

Back to comp.specification Previous Next

#370

From: Dr. Betty Cheng
Date: Thu, 25 Apr 1991 02:27

25 lines
1336 bytes

Does anyone have a short latex file that uses the vdm.sty file?
I am looking for something that has an example of the different
structures that can be generated using the style file.  I am not
a tex programmer and thus find some of the tex commands difficult to
decipher.  In particular, I am interested in finding out what syntax 
should be used in defining functions, operations, and proofs.


Please email me directly if you have sample latex files.

thank you,

Betty
Department of Computer Science
Michigan State University

(517) 355-8344
chengb@cps.msu.edu

p.s. 

btw, the version that I am using is dated Revision 2.5 88/03/25 by Mario
Wolczko.
I have not been able to send email to the address that he gave in the file
(mario@uk.ac.man.cs.ux).

Technical Details

Message-ID: <1991Apr25.022713.4439@msuinfo.cl.msu.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!elroy.jpl.nasa.gov!ncar!gatech!purdue!haven.umd.edu!mimsy!midway!msuinfo!pleiades.cps.msu.edu!chengb

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!elroy.jpl.nasa.gov!ncar!gatech!purdue!haven.umd.edu!mimsy!midway!msuinfo!pleiades.cps.msu.edu!chengb
From: chengb@pleiades.cps.msu.edu (Dr. Betty Cheng)
Newsgroups: comp.specification
Subject: VDM style file
Message-ID: <1991Apr25.022713.4439@msuinfo.cl.msu.edu>
Date: 25 Apr 91 02:27:13 GMT
Sender: news@msuinfo.cl.msu.edu
Reply-To: chengb@pleiades.cps.msu.edu (Dr. Betty Cheng)
Organization: Computer Science, Michigan State University, E. Lansing
Lines: 25