Pages that link to "Item:Q5901598"
From MaRDI portal
The following pages link to Abstract State Machines 2004. Advances in Theory and Practice (Q5901598):
Displaying 5 items.
- A high-level modular definition of the semantics of C\(_{\sharp}\) (Q555781) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Formal specification and verification of the C\(\#\) thread model (Q2571209) (← links)
- Formal Methods for Components and Objects (Q5311299) (← links)
- Abstract State Machines 2004. Advances in Theory and Practice (Q5901596) (← links)