The following pages link to DisCo (Q22354):
Displaying 7 items.
- DisCo Toolset -- the new generation (Q2709219) (← links)
- Mechanizing invariant proofs of joint action systems (Q2770756) (← links)
- On Horizontal Specification Architectures and Their Aspect-Oriented Implementations (Q3634751) (← links)
- (Q4435383) (← links)
- (Q4435384) (← links)
- (Q4790666) (← links)
- Formal Approaches to Software Testing (Q5902013) (← links)