corvara@ztivax.UUCP (Dr Gerd Venzl) (06/04/91)
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