Finite satisfiability of class diagrams: practical occurrence and scalability of the

Victor Makarenkov, Pavel Jelnov, Azzam Maraee, Mira Balaban

Browse the full MODELS paper archive.