Re: FWD: CFP Workshop on Industrial-strength Formal specification Techniques

• To: horning@src.dec.com
• Subject: Re: FWD: CFP Workshop on Industrial-strength Formal specification Techniques
• From: kirk@zipcode.Jpl.Nasa.Gov (Kirk Reinholtz)
• Date: Fri, 13 May 1994 09:02:32 +0800
• Cc: kirk@zipcode.Jpl.Nasa.Gov
• Delivery-Date: Fri, 13 May 94 09:17:52 -0700

I'm shooting to present an experience report.


> From horning@src.dec.com Mon Feb 28 17:36 PST 1994
> Return-Path: <horning@src.dec.com@zipcode.jpl.nasa.gov>
> To: larch-interest@Pa.dec.com
> Subject: FWD: CFP Workshop on Industrial-strength Formal specification Techniques
> Date: Mon, 28 Feb 94 17:17:54 -0800
> From: horning@src.dec.com
> X-Mts: smtp
> 
> Wouldn't it be nice to have a strong Larch representation here?
> 
> ------- Forwarded Message
> 
> From: robert@cse.fau.edu (Robert France)
> Date: 28 Feb 1994 23:52:57 GMT
> Subject: Formal Methods Workshop CFP
> Newsgroups: comp.specification,comp.specification.Z

• Prev: Check out "The World-Wide Web Virtual Library: Formal Methods"
• Next: Package or class specification
• Index: Larch archive index