Integrating Model Driven and Model Checking to Mine Design Patterns

Publication
Software Technologies, 2016
Date
Links