Leveraging Applications of Formal Methods, Verification and Validation. Modeling

B, F. B., Given-wilson, T., Legay, A., Puodzius, C., & Quilbeuf, J. (2018). Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 11244(November), 565–586. Retrieved from http://link.springer.com/10.1007/978-3-030-03418-4