Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Hessenk, A., B, F. H., & Rausch, A. (2018). Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. ISoLA: International Symposium on Leveraging Applications of Formal Methods (Vol. 11247, pp. 469–471). Springer International Publishing. Retrieved from http://link.springer.com/10.1007/978-3-030-03427-6