Pages that link to "Item:Q5901596"
From MaRDI portal
The following pages link to Abstract State Machines 2004. Advances in Theory and Practice (Q5901596):
Displaying 5 items.
- Towards proving type safety of .NET CIL (Q941469) (← links)
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) (← links)
- Formal specification and verification of the C\(\#\) thread model (Q2571209) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901598) (← links)