Xref: utzoo comp.software-eng:5844 comp.specification:354
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!spool.mu.edu!uunet!mcsun!unido!ztivax!corvara
From: corvara@ztivax.UUCP (Dr Gerd Venzl)
Newsgroups: comp.software-eng,comp.specification
Subject: ICSE-12 workshop on industrial experience using formal methods
Keywords: formal methods, industrial engineering of sw/hw-systems
Message-ID: <5410@ztivax.UUCP>
Date: 4 Jun 91 11:46:31 GMT
Article-I.D.: ztivax.5410
Reply-To: roessel@ztivax.siemens.com (Torsten Roessel)
Organization: Siemens AG, Munich, W-Germany
Lines: 13

There was a workshop on industrial experience using formal methods held
as part of the 12th Int. Conf. on Software Engineering (ICSE-12) in
Nice (France), March 26-30, 1990 (no typo, I really mean last year).
If you have attended this workshop or if you know of any industrial
experiences or position statements presented there I'd appreciate to
hear about it.

Please reply by email, I will summarize.

Torsten Roessel
Siemens Corporate Research & Development
Design Automation Department
InterNet: roessel@ztivax.siemens.com