Expand icon Search icon File icon file Download

Automated verification of design patterns: A case study

Nicholson, Jon and Eden, Amnon H and Gasparis, Epameinondas and Kazman, Rick (2014) Automated verification of design patterns: A case study. Science of Computer Programming, 80 (Part B). pp. 211-222. DOI https://doi.org/10.1016/j.scico.2013.05.007



Abstract

Available files

Full text not available from this repository. http://dx.doi.org/10.1016/j.scico.2013.05.007

Statistics

Altmetrics

Downloads

downloads and page views since this item was published

View detailed statistics