Modulaser: A Tool for Conceptual Analysis of Software Systems.

Iaakov Exman, Phillip Katz

Browse the full IC3K paper archive.