Pages that link to "Item:Q2571209"
From MaRDI portal
The following pages link to Formal specification and verification of the C\(\#\) thread model (Q2571209):
Displaying 5 items.
- Ambient abstract state machines with applications (Q439957) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Towards proving type safety of .NET CIL (Q941469) (← links)
- Towards proving type safety of \(\mathrm{C}^{\#}\) (Q1749247) (← links)
- Towards Efficient Verification of Systems with Dynamic Process Creation (Q5505602) (← links)
