Login / Signup

Improving Behavioral Design Pattern Detection through Model Checking.

Andrea De LuciaVincenzo DeufemiaCarmine GravinoMichele Risi
Published in: CSMR (2010)
Keyphrases