JDD

swMATH41642MaRDI QIDQ1353477FDOQ1353477

Author name not available (Why is that?)

Official website: https://bitbucket.org/vahidi/jdd/src/master/

Source code repository: https://bitbucket.org/vahidi/jdd/src/master/

Cited In (3)

• SableJBDD
• Formal verification of a Java component using the RESOLVE framework
• BDD

This page was built for software: JDD