ArgoUML

swMATH10874MaRDI QIDQ22828FDOQ22828

Author name not available (Why is that?)

Cited In (3)

• Developing high quality software
• Runtime Exception Detection in Java Programs Using Symbolic Execution
• Towards light-weight probabilistic model checking

This page was built for software: ArgoUML