DisCo
From MaRDI portal
Software:22354
swMATH10393MaRDI QIDQ22354FDOQ22354
Author name not available (Why is that?)
Cited In (7)
- Formal Approaches to Software Testing
- On Horizontal Specification Architectures and Their Aspect-Oriented Implementations
- Title not available (Why is that?)
- Mechanizing invariant proofs of joint action systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- DisCo Toolset -- the new generation
This page was built for software: DisCo
