138
Voted
SEKE
2010
Springer
15 years 18 days ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...