The following pages link to FM 2005: Formal Methods (Q5716914):
Displayed 4 items.
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Invariants for Non-Hierarchical Object Structures (Q2873622) (← links)