Abstract State Machines 2004. Advances in Theory and Practice
From MaRDI portal
Publication:5901598
DOI10.1007/B98118zbMATH Open1188.68100DBLPconf/asm/2004OpenAlexW2498383994MaRDI QIDQ5901598
Publication date: 30 April 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98118
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Abstract State Machines 2004. Advances in Theory and Practice
This page was built for publication: Abstract State Machines 2004. Advances in Theory and Practice
