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 De RuvoGiuseppe A. Di LuccaAntonella SantoneMario Luca BernardiMarta Cimitile

Improving Design Patterns Finder Precision Using a Model Checking Approach