🚀 go-pugleaf

Real-Time Formal Methods Research Position
By: Ian Hayes I.J. on Mon, 06 Sep 1993 06:44

FMOODS'96 - Final Call For Papers
By: Joubine Dustzadeh on Tue, 14 Nov 1995 16:59

Re: Request: Introductory Z readings, scope of usage
By: Hendrik Boom on Mon, 11 Jan 1993 20:33

Z specification of Haskell-like continuations
By: howard s goodman on Tue, 12 Jan 1993 10:02

(none)
By: zedan on Mon, 11 Jan 1993 10:01

timed Z
By: DAVE TURNER on Fri, 08 Jan 1993 12:07

Z specification of Haskell-like continuations
By: Howard S. Goodman on Fri, 08 Jan 1993 11:30

Re: comments & experience
By: "Jeffrey X. Yu" on Fri, 08 Jan 1993 05:38

comments & experience
By: Pin CHEN on Fri, 08 Jan 1993 19:37

X11 interface for writing Z specifications
By: Olivier (Bart) Dehon on Wed, 06 Jan 1993 09:43

Re: Request: Introductory Z readings, scope of usage
By: Jon Jacky on Thu, 07 Jan 1993 18:43

Cleanroom and Z
By: Glyn Normington on Thu, 07 Jan 1993 08:53

(none)
By: "R.Groves" on Wed, 06 Jan 1993 16:21

Request: Introductory Z readings, scope of usage
By: Tom R. Peterson (consultant) on Wed, 06 Jan 1993 17:18

Z Animation in Prolog
By: Frazer Middleton on Tue, 05 Jan 1993 16:28

The ZIP project
By: Rosalind Barden on Tue, 05 Jan 1993 14:47

Z font for Microsoft Word
By: Pete Young on Wed, 27 Jan 1993 14:01

Re: Trees in Z (was: common data structures in Z
By: Mike Spivey on Wed, 27 Jan 1993 18:28

New Font Selection Scheme and fuzz.sty
By: Kokichi Futatsugi on Thu, 28 Jan 1993 02:45

Z and other design methodologies
By: Mike Kirby on Tue, 26 Jan 1993 15:46

Re: Trees in Z (was: common data structures in Z
By: Mike Wray on Thu, 28 Jan 1993 08:44

Re: Z and other design methodologies
By: Jon Jacky on Wed, 27 Jan 1993 17:40

Re: Trees in Z (was: common data structures in Z
By: Chris Flatters on Tue, 26 Jan 1993 00:25

Trees in Z (was: common data structures in Z)
By: Jon Jacky on Mon, 25 Jan 1993 19:50

Re: J.R. Abrial e-mail address and B references
By: M Zvi Schreiber on Fri, 22 Jan 1993 09:57

J.R. Abrial e-mail address and B references
By: Michel Moreaux on Thu, 21 Jan 1993 16:03

comp.specification.z Frequently Asked Questions (Monthly)
By: zforum-request on Wed, 01 Dec 1993 02:00

comp.specification.z Frequently Asked Questions (Monthly)
By: zforum-request on Thu, 01 Jul 1993 01:00

Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
By: John Thomas on Fri, 28 Jun 1991 00:25

Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
By: Robert D. Thompson on Thu, 27 Jun 1991 21:56

Re: What is this group (was Test)
By: Bob Riemenschneider on Thu, 27 Jun 1991 17:23

Re: What is this group (was Test)
By: Andy Crump on Thu, 27 Jun 1991 07:52

Re: What is this group (was Test)
By: Ian Florance on Thu, 27 Jun 1991 15:54

Re: What is this group (was Test)
By: Charles Herrick on Thu, 27 Jun 1991 14:36

Re: What is this group (was Test)
By: John M. Blasik on Thu, 27 Jun 1991 04:24

Test
By: Anthony Lee on Wed, 26 Jun 1991 09:38

Re: Prove me wrong
By: Brendan Mahony on Mon, 01 Jul 1991 00:24

Re: Prove me wrong
By: David Duke on Sun, 30 Jun 1991 23:43

Re: Prove me wrong
By: Rhys Weatherley on Sat, 29 Jun 1991 01:47

Re: Prove me wrong
By: John Thomas on Sat, 29 Jun 1991 00:52

Prove me wrong
By: Bradley K. Sherman on Fri, 28 Jun 1991 17:50

Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
By: Alex Blakemore on Fri, 28 Jun 1991 16:01

Re: Obj-Orien. Z, was: HERE'S A GOOD INTRO. TEXT
By: Fuzzy Memory Group on Fri, 28 Jun 1991 16:31

Re: Obj-Orien. Z, was: HERE'S A GOOD INTRO. TEXT
By: Charles Herrick on Fri, 28 Jun 1991 14:53

Re: What is this group (was Test)
By: Charles Herrick on Fri, 28 Jun 1991 14:50

Re: What is this group - HERE'S A GOOD INTRO. TEXT ON 'Z'...
By: Robert D. Thompson on Fri, 28 Jun 1991 07:39

What is this group (was Test)
By: Richard Begg on Wed, 26 Jun 1991 22:34

Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
By: Michael Hinchey on Fri, 18 Dec 1992 14:09

Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
By: Rosalind Barden on Fri, 18 Dec 1992 11:18

Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
By: Michael.Hinchey on Thu, 17 Dec 1992 23:47

Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
By: David Shepherd on Thu, 17 Dec 1992 18:16

Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
By: Michael Hinchey on Thu, 17 Dec 1992 12:39

Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AGM
By: George Maney on Wed, 16 Dec 1992 21:11

Re: Formal Methods Newsgroups? VDM Newsgroups?
By: Cliff B Jones on Thu, 19 Nov 1992 17:46

Z animation in Prolog
By: JBWORDS on Thu, 19 Nov 1992 09:55

Formal Methods Newsgroups? VDM Newsgroups?
By: Bill Birch on Wed, 18 Nov 1992 12:45

Specific use questions on Z (and small editorial...)
By: "Richard Wallace, Digital Equipm... on Fri, 01 Jan 1993 18:18

Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
By: A Wooden Fish on Wheels on Fri, 01 Jan 1993 17:10

comp.specification.z Frequently Asked Questions (Monthly)
By: zforum-request on Fri, 01 Jan 1993 02:00

Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
By: Antoni Diller on Thu, 24 Dec 1992 11:25

Re: Jacket+Tie for attending the Z Used Group AGM (was: Z User Group AG
By: Hossein Bagherzadeh Rafsanjani on Wed, 23 Dec 1992 17:36

Re: Z and Concurrency
By: Michael Hinchey on Sat, 03 Oct 1992 13:28

Re: Z and Concurrency
By: Peter J Knaggs on Sat, 03 Oct 1992 10:08

Users of Z formal specification
By: Frank Deutschmann on Fri, 02 Oct 1992 20:06

Z for Word-5 anyone?
By: Marc Benveniste on Tue, 29 Sep 1992 07:09

Visibility lists in Object-Z
By: Wilhelm Hasselbring on Fri, 16 Oct 1992 14:22

Animation of formal specifications in a functional language
By: Howard S. Goodman on Fri, 16 Oct 1992 13:33

Handling derived types
By: Yasushi Saito on Thu, 15 Oct 1992 07:47

Email Address
By: Roger_Alexander on Thu, 08 Oct 1992 23:44

(none)
By: CMRCM on Thu, 08 Oct 1992 16:44

Cognitive processes and formal specifications
By: Thomas Werthmann-Auzinger on Wed, 07 Oct 1992 22:06

nfss zed style file
By: Sean Matthews on Wed, 07 Oct 1992 12:37

Re: PSFIG and Z spec compatability
By: Michel Moreaux on Fri, 13 Nov 1992 16:59

PSFIG and Z spec compatability
By: Colin Dunlop on Fri, 13 Nov 1992 14:56

New Series in Computing
By: Giuseppe Scollo on Thu, 12 Nov 1992 16:44

"wargames" dialler
By: robert winkler on Sun, 08 Nov 1992 09:24

New Font Selection Scheme and fuzz.sty
By: Mike.Spivey on Thu, 05 Nov 1992 09:23

Re: Please review & comment
By: Anthony Shipman on Mon, 31 Aug 1992 10:25

Re: Boolean Valued Functions?
By: Steve King on Sun, 30 Aug 1992 15:48

Boolean Valued Functions?
By: Todd Fine on Sat, 29 Aug 1992 21:42

Re: Please review & comment
By: Phill Hallam-Baker on Sat, 29 Aug 1992 18:01

Automatic translation, simulation, Z
By: Andrew Harry on Fri, 28 Aug 1992 13:16

Zed specification environment (product announcement)
By: narayana on Wed, 26 Aug 1992 14:42

Please review & comment
By: Stephen Hufnagel on Wed, 26 Aug 1992 14:28

Please Review & Comment
By: Stephen Hufnagel on Thu, 27 Aug 1992 20:20

(none)
By: Alan Richardson on Tue, 15 Sep 1992 09:06

Reminder: CFP deadline for FME'93 is approaching
By: Nico Plat on Fri, 11 Sep 1992 13:36

oz.sty incompatible with NFSS
By: Michel Moreaux on Mon, 07 Sep 1992 14:46

Free Types and Parse Trees
By: Wayne Stanton on Mon, 07 Sep 1992 06:41

AMAST'93 Call for Papers (latex)
By: Pippo Scollo on Fri, 04 Sep 1992 17:48

AMAST'93 Call for papers
By: Pippo Scollo on Fri, 04 Sep 1992 17:47

Re: Z and concurrent systems
By: Brendan Mahony on Wed, 19 Aug 1992 23:46

Re: Z and concurrent systems
By: Phill Hallam-Baker on Wed, 19 Aug 1992 16:09

Re: Z and Concurrency
By: Lucy Chubb on Wed, 19 Aug 1992 03:10

Re: Z and concurrent systems
By: A Wooden Fish on Wheels on Tue, 18 Aug 1992 14:15

Survey: Formal Methods in Industry
By: Stephen Mark Austin on Mon, 17 Aug 1992 13:40

Survey: Formal Methods in Education
By: Stephen Mark Austin on Mon, 17 Aug 1992 13:40

Re: Z and concurrent systems
By: Phillip M. Hallam-Baker on Mon, 17 Aug 1992 17:04

Z and concurrency
By: "Julian Rose" on Mon, 17 Aug 1992 08:49

CSP and Z
By: Alwyn Goodloe on Fri, 14 Aug 1992 22:04

Re: Z and concurrent systems
By: A Wooden Fish on Wheels on Fri, 14 Aug 1992 16:52

Z and Concurrency
By: song on Fri, 14 Aug 1992 09:15

Re: Z and concurrent systems
By: Brendan Mahony on Fri, 14 Aug 1992 02:40

Re: Z and concurrent systems
By: A Wooden Fish on Wheels on Thu, 13 Aug 1992 16:23

Z and concurrent systems bit 2
By: "Julian Rose" on Thu, 13 Aug 1992 12:00

Z and concurrent systems
By: "Julian Rose" on Thu, 13 Aug 1992 11:36

Re: Z and concurrent systems
By: Brendan Mahony on Thu, 13 Aug 1992 01:21

Re: Z and concurrent systems
By: A Wooden Fish on Wheels on Wed, 12 Aug 1992 16:20

Re: Z and concurrent systems
By: Phillip M. Hallam-Baker on Wed, 12 Aug 1992 13:50

Greek letters in schema names and FUZZ
By: Jon Jacky on Mon, 13 Apr 1992 21:38

Archive Files for "Formal Methods for Specification"
By: Archana Sathaye on Mon, 13 Apr 1992 15:50

refinement notions in Z and VDM
By: Karl-Heinz Buth on Thu, 09 Apr 1992 08:50

ICL Proof Tool Newsletter
By: I.C.L.Hol on Mon, 06 Apr 1992 17:21

Re: About Genericity...
By: Andy Gravell on Mon, 27 Jul 1992 09:07

Z font for the Macintosh
By: R.E.Jones on Tue, 28 Jul 1992 15:38

Modular Z - questions
By: csx136 on Mon, 27 Jul 1992 11:04

Re: About Genericity...
By: Martin Carstensen on Mon, 27 Jul 1992 10:02

Subscription
By: Hongwei.Lu on Sat, 25 Jul 1992 15:59

Describing Properties of Schemas
By: Bill Ferreira on Fri, 24 Jul 1992 13:22

About Genericity...
By: Donatella Castelli on Fri, 24 Jul 1992 12:48

Re: concrete syntax and fuzz
By: Brendan Mahony on Fri, 24 Jul 1992 01:44

RE: Object Z references
By: ana on Thu, 23 Jul 1992 23:30

concrete syntax and fuzz
By: Martin Carstensen on Thu, 23 Jul 1992 17:26

OO Z collection
By: Susan Stepney on Thu, 23 Jul 1992 15:09

Re: Object Z references
By: "K." Lano on Tue, 21 Jul 1992 09:21

Re: Renaming schemas etc
By: Curtis Scott on Tue, 21 Jul 1992 12:09

Re: Z and concurrent systems
By: Ismar Neumann Kaufman on Tue, 11 Aug 1992 22:18

Re: Z and concurrent systems
By: A Wooden Fish on Wheels on Tue, 11 Aug 1992 17:01