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
