CITATION STYLE
B, C. M., Garcia, S., Pelliccione, P., & Tumova, J. (2018). Formal Methods Supplement (Vol. 1, pp. 399–417). Springer International Publishing. Retrieved from http://dx.doi.org/10.1007/978-3-319-95582-7_24
Mendeley helps you to discover research relevant for your work.