GUPRO

swMATH9130MaRDI QIDQ21123FDOQ21123

Author name not available (Why is that?)

Official website: http://www.sciencedirect.com/science/article/pii/S1571066105805286

Cited In (12)

• Columbus
• Ciao
• Rigi
• SQuAVisiT
• SEXTANT
• Edge
• LIFT
• LSEdit
• Automated mass maintenance of a software portfolio
• TestQ
• Rigi-an environment for software reverse engineering, exploration, visualization, and redocumentation
• Concept management: identification and storage of concepts in the focus of formal Z specifications

This page was built for software: GUPRO