Broy-Lampert Specification Problem: A Gurevich Abstract State Machine Solution

Jim Huggins

Research output: Contribution to journal › Article › peer-review

Original languageAmerican English
JournalarXiv
StatePublished - Jan 1 1996

Disciplines

  • Computer Engineering

Access to Document

    Cite this