Page 3 of 3 • 148 total threads
Discussion Threads in comp.specification.z
148 threads • Page 3 of 3| Thread Subject | Last Message |
|---|---|
|
(none)
By: Alan Richardson on Tue, 15 Sep 1992 09:06 |
34 Years 2 Months ago
0 replies |
|
Reminder: CFP deadline for FME'93 is approaching
By: Nico Plat on Fri, 11 Sep 1992 13:36 |
34 Years 2 Months ago
0 replies |
|
oz.sty incompatible with NFSS
By: Michel Moreaux on Mon, 07 Sep 1992 14:46 |
34 Years 2 Months ago
0 replies |
|
Free Types and Parse Trees
By: Wayne Stanton on Mon, 07 Sep 1992 06:41 |
34 Years 2 Months ago
0 replies |
|
AMAST'93 Call for Papers (latex)
By: Pippo Scollo on Fri, 04 Sep 1992 17:48 |
34 Years 2 Months ago
0 replies |
|
AMAST'93 Call for papers
By: Pippo Scollo on Fri, 04 Sep 1992 17:47 |
34 Years 2 Months ago
0 replies |
|
Please review & comment
By: Stephen Hufnagel on Wed, 26 Aug 1992 14:28 |
34 Years 2 Months ago
2 replies |
|
Boolean Valued Functions?
By: Todd Fine on Sat, 29 Aug 1992 21:42 |
34 Years 2 Months ago
1 replies |
|
Automatic translation, simulation, Z
By: Andrew Harry on Fri, 28 Aug 1992 13:16 |
34 Years 2 Months ago
0 replies |
|
Please Review & Comment
By: Stephen Hufnagel on Thu, 27 Aug 1992 20:20 |
34 Years 2 Months ago
0 replies |
|
Zed specification environment (product announcement)
By: narayana on Wed, 26 Aug 1992 14:42 |
34 Years 2 Months ago
0 replies |
|
Re: Z and concurrent systems
By: Stephen Hufnagel on Tue, 11 Aug 1992 16:03 |
34 Years 3 Months ago
12 replies |
|
Z and Concurrency
By: song on Fri, 14 Aug 1992 09:15 |
34 Years 3 Months ago
1 replies |
|
Survey: Formal Methods in Industry
By: Stephen Mark Austin on Mon, 17 Aug 1992 13:40 |
34 Years 3 Months ago
0 replies |
|
Survey: Formal Methods in Education
By: Stephen Mark Austin on Mon, 17 Aug 1992 13:40 |
34 Years 3 Months ago
0 replies |
|
Z and concurrency
By: "Julian Rose" on Mon, 17 Aug 1992 08:49 |
34 Years 3 Months ago
0 replies |
|
CSP and Z
By: Alwyn Goodloe on Fri, 14 Aug 1992 22:04 |
34 Years 3 Months ago
0 replies |
|
Z and concurrent systems bit 2
By: "Julian Rose" on Thu, 13 Aug 1992 12:00 |
34 Years 3 Months ago
0 replies |
|
Z and concurrent systems
By: "Julian Rose" on Thu, 13 Aug 1992 11:36 |
34 Years 3 Months ago
0 replies |
|
Re: Z and concurrent systems
By: Ismar Neumann Kaufman on Tue, 11 Aug 1992 22:18 |
34 Years 3 Months ago
0 replies |
|
Z and concurrent systems
By: Maria Brielmann on Tue, 11 Aug 1992 14:21 |
34 Years 3 Months ago
0 replies |
|
Survey: Formal Methods in Education
By: Stephen Mark Austin on Mon, 10 Aug 1992 16:20 |
34 Years 3 Months ago
0 replies |
|
Survey: Formal Methods In Industry
By: Stephen Mark Austin on Mon, 10 Aug 1992 16:19 |
34 Years 3 Months ago
0 replies |
|
ftp archive site
By: Alwyn Goodloe on Thu, 06 Aug 1992 22:20 |
34 Years 3 Months ago
1 replies |
|
Z and 4GLs
By: "Lesley Semmens" on Thu, 06 Aug 1992 15:18 |
34 Years 3 Months ago
0 replies |
|
FTP access now available for Z archive at Oxford
By: Jonathan.Bowen on Thu, 06 Aug 1992 13:31 |
34 Years 3 Months ago
0 replies |
|
Survey: Formal Methods in Education
By: sma on Wed, 05 Aug 1992 08:56 |
34 Years 3 Months ago
0 replies |
|
Survey: Formal Methods in Industry
By: sma on Wed, 05 Aug 1992 08:55 |
34 Years 3 Months ago
0 replies |
|
Fuzz and definition before use
By: Wilhelm Hasselbring on Wed, 05 Aug 1992 08:29 |
34 Years 3 Months ago
0 replies |
|
Building up a big schema from little ones (was: Renaming etc.)
By: Jon Jacky on Mon, 03 Aug 1992 23:53 |
34 Years 3 Months ago
0 replies |
|
Where to get Fuzz
By: Todd Fine on Mon, 03 Aug 1992 21:37 |
34 Years 3 Months ago
0 replies |
|
comp.specification.z Frequently Asked Questions (Monthly)
By: zforum-request on Sat, 01 Aug 1992 01:01 |
34 Years 3 Months ago
0 replies |
|
Z font for the Macintosh
By: R.E.Jones on Tue, 28 Jul 1992 15:38 |
34 Years 3 Months ago
0 replies |
|
Modular Z - questions
By: csx136 on Mon, 27 Jul 1992 11:04 |
34 Years 3 Months ago
0 replies |
|
Re: About Genericity...
By: Martin Carstensen on Mon, 27 Jul 1992 10:02 |
34 Years 3 Months ago
0 replies |
|
About Genericity...
By: Donatella Castelli on Fri, 24 Jul 1992 12:48 |
34 Years 3 Months ago
1 replies |
|
Subscription
By: Hongwei.Lu on Sat, 25 Jul 1992 15:59 |
34 Years 3 Months ago
0 replies |
|
Describing Properties of Schemas
By: Bill Ferreira on Fri, 24 Jul 1992 13:22 |
34 Years 3 Months ago
0 replies |
|
concrete syntax and fuzz
By: Martin Carstensen on Thu, 23 Jul 1992 17:26 |
34 Years 3 Months ago
1 replies |
|
RE: Object Z references
By: ana on Thu, 23 Jul 1992 23:30 |
34 Years 3 Months ago
0 replies |
|
OO Z collection
By: Susan Stepney on Thu, 23 Jul 1992 15:09 |
34 Years 3 Months ago
0 replies |
|
Re: Object Z references
By: "K." Lano on Tue, 21 Jul 1992 09:21 |
34 Years 4 Months ago
0 replies |
|
Greek letters in schema names and FUZZ
By: Jon Jacky on Mon, 13 Apr 1992 21:38 |
34 Years 7 Months ago
0 replies |
|
Archive Files for "Formal Methods for Specification"
By: Archana Sathaye on Mon, 13 Apr 1992 15:50 |
34 Years 7 Months ago
0 replies |
|
refinement notions in Z and VDM
By: Karl-Heinz Buth on Thu, 09 Apr 1992 08:50 |
34 Years 7 Months ago
0 replies |
|
ICL Proof Tool Newsletter
By: I.C.L.Hol on Mon, 06 Apr 1992 17:21 |
34 Years 7 Months ago
0 replies |
|
Prove me wrong
By: Bradley K. Sherman on Fri, 28 Jun 1991 17:50 |
35 Years 4 Months ago
4 replies |
|
Test
By: Anthony Lee on Wed, 26 Jun 1991 09:38 |
35 Years 4 Months ago
9 replies |
Page 3 of 3 • 148 total threads
Thread Navigation
Threads show conversation groups with message counts
Click thread titles to view the full discussion
G to switch to chronological article view