Rigi-an environment for software reverse engineering, exploration, visualization, and redocumentation

From MaRDI portal