Abstract State Machines 2004. Advances in Theory and Practice
From MaRDI portal
Publication:5901596
DOI10.1007/B98118zbMath1188.68102DBLPconf/asm/2004OpenAlexW2498383994WikidataQ57376418 ScholiaQ57376418MaRDI QIDQ5901596
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 (3)
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ Towards proving type safety of .NET CIL ⋮ A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
This page was built for publication: Abstract State Machines 2004. Advances in Theory and Practice
