[Prev][Next][Index]

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



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