Need Info on Z and VDM

Article View: -n

Article #1

From: Sudhakar
Date: Sun, 27 Sep 1992 19:01

8 lines
703 bytes

I need information on Z language and VDM. I would appreciate if anyone
sends me  a mail with the names the journals which have the info.

Thanx in advance.

Sudhakar.
sab3@ra.msstate.edu
sudhakar@walt.cs.msstate.edu

Technical Details

Message-ID: <1992Sep27.190132.21185@ra.msstate.edu>

Path:

arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!network.ucsd.edu!usc!cs.utexas.edu!sun-barr!ames!haven.umd.edu!darwin.sura.net!nntp.msstate.edu!news

Show Full Headers

Complete Article Headers

Newsgroups: -n,comp.software-eng
Path: arc1-ca.pugleaf.net!sparky!uunet!charon.amdahl.com!pacbell.com!network.ucsd.edu!usc!cs.utexas.edu!sun-barr!ames!haven.umd.edu!darwin.sura.net!nntp.msstate.edu!news
From: sudhakar@flower.CS.MsState.Edu (Sudhakar)
Subject: Need Info on Z and VDM
Message-ID: <1992Sep27.190132.21185@ra.msstate.edu>
Sender: news@ra.msstate.edu
Nntp-Posting-Host: flower.cs.msstate.edu
Organization: Mississippi State Univ.
Date: Sun, 27 Sep 1992 19:01:32 GMT
Lines: 8