Vol-1366⫷ Vol-1367 ⫸Vol-1368
urn:nbn:de:0074-1367-0


Vol-1367/paper-14⫷Vol-1367/paper-15⫸Vol-1367/paper-16
Giuseppe A. Di LuccaAntonella SantoneGiuseppe De RuvoMarta CimitileMario Luca Bernardi

Improving Design Patterns Finder Precision Using a Model Checking Approach