Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings - Margaria, Tiziana; Steffen, Bernhard (Springer Nature, 2021)
Keywords: Artificial intelligence; Computer programming, programs, data