The following pages link to (Q3197342):
Displaying 6 items.
- Correctness proofs for abstract implementations (Q1119388) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Behavioural approaches to algebraic specifications. A comparative study (Q1338907) (← links)
- (Q3197342) (← links)
- (Q3992621) (← links)
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765) (← links)