Abstract State Machines 1988-1998: Commented ASM Bibliography

Formal Specification Column (H. Ehrig, ed.), EATCS Bulletin 64, February 1998, 105--127 An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.

Saved in:
Bibliographic Details
Main Authors Boerger, Egon, Huggins, James K
Format Journal Article
LanguageEnglish
Published 09.11.1998
Subjects
Computer Science - Software Engineering
Online AccessGet full text

Cover

More Information
Summary:Formal Specification Column (H. Ehrig, ed.), EATCS Bulletin 64, February 1998, 105--127 An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.
DOI:10.48550/arxiv.cs/9811014