Browse by Journal
 | Up a level |
Number of items: 1.
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