DisCo

MaRDI QIDQ22354swMATHFDO

Official website http://jucs.org/jucs_7_1/disco_toolset_the_new/Aaltonen_T.pdf

Cited in

(9)

• DisCo Toolset -- the new generation
• Mechanizing invariant proofs of joint action systems
• On Horizontal Specification Architectures and Their Aspect-Oriented Implementations
• HOL-UNITY
• Ocsid
• scientific article; zbMATH DE number 2011480 (Why is no real title available?)
• scientific article; zbMATH DE number 2011481 (Why is no real title available?)
• scientific article; zbMATH DE number 1863391 (Why is no real title available?)
• Formal Approaches to Software Testing

This page was built for software: DisCo