An operational semantics for specifications of abstract data types with error handling

✍ Scribed by G. Engels; U. Pletat; H. -D. Ehrich

• Publisher: Springer-Verlag
• Year: 1983
• Tongue: English
• Weight: 947 KB
• Volume: 19
• Category: Article
• ISSN: 0001-5903
• DOI: 10.1007/bf00265557