Discussions

Table of Contents

• Refinements (2003)
• Logician in the Land of OS (2001)
• High Level System Design and Analysis (1999)
• Why Use ASMs? (1995)
• Systems Level Specifications (1997)
• An Overview Article (1997)

---

Jim Huggins / huggins@acm.org

URL: http://www.eecs.umich.edu/ealgebras/subjects/discuss.html (page only)
last update: Thursday, 03-Apr-2008 13:05:06 EDT