Newsgroups: comp.parallel
From: exc6florag@clstr.unl.ac.uk (G S FLORA)
Subject: Request: Description of architectures using formal methods
Organization: University of North London
Date: Sat, 4 Nov 1995 10:50:00 GMT
Message-ID: <4NOV199510500648@grid>

Hello,

Is there a paper out there which describes an architecture using formal 
methods such as Z or VDM?.

If so could you send me a pointer.

Thanks in advance.

Gurcharan


