Simulation-based Verification of UML models.

Luigi Lavazza, Giuseppe Occorso

Browse the full SEKE paper archive.