CITATION STYLE
Sanchez, E., Squillero, G., & Tonda, A. (2012). Automatic Software Verification (pp. 17–30). https://doi.org/10.1007/978-3-642-27467-1_3
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley