swMATH10393MaRDI QIDQ22354FDOQ22354
Author name not available (Why is that?)
Official website: http://jucs.org/jucs_7_1/disco_toolset_the_new/Aaltonen_T.pdf
Cited In (9)
- 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?)
- HOL-UNITY
- Ocsid
- DisCo Toolset -- the new generation
This page was built for software: DisCo
