The following pages link to (Q5506381):
Displaying 5 items.
- Virginity: A contribution to the specification of object-oriented software (Q1608296) (← links)
- Invariants for non-hierarchical object structures (Q2873622) (← links)
- Relaxing Restrictions on Invariant Composition in the B Method by Ownership Control a la Spec# (Q3400952) (← links)
- A Small Step for Mankind (Q5187820) (← links)
- Algebraic Methodology and Software Technology (Q5312987) (← links)