Pages that link to "Item:Q674009"
From MaRDI portal
The following pages link to On the correctness of modular systems (Q674009):
Displaying 6 items.
- Modular correctness proofs of behavioural implementations (Q1127821) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- (Q3696492) (← links)
- (Q4934620) (← links)
- COUNTABLY APPROXIMATING FRAMES (Q4954709) (← links)
- A general framework for modular implementations of modular system specifications (Q5044736) (← links)