ForSpec Features - from July 17 meeting

Subject: ForSpec Features - from July 17 meeting
From: Moshe Vardi (vardi@cs.rice.edu)
Date: Mon Jul 30 2001 - 06:17:03 PDT

• Next message: Moshe Vardi: "Re: How Sugar supports the assume/guarantee paradigm"
• Previous message: Cindy Eisner: "Re: How Sugar supports the assume/guarantee paradigm"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

• APPLICATION/OCTET-STREAM attachment: ForSpecFeature.ppt

• Next message: Moshe Vardi: "Re: How Sugar supports the assume/guarantee paradigm"
• Previous message: Cindy Eisner: "Re: How Sugar supports the assume/guarantee paradigm"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Mon Jul 30 2001 - 06:18:46 PDT