DisCo

MaRDI QIDQ22354swMATHFDO

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
• scientific article; zbMATH DE number 2011480 (Why is no real title available?)
• Mechanizing invariant proofs of joint action systems
• scientific article; zbMATH DE number 2011481 (Why is no real title available?)
• HOL-UNITY
• Ocsid
• scientific article; zbMATH DE number 1863391 (Why is no real title available?)
• DisCo Toolset -- the new generation

This page was built for software: DisCo