Stock, S., Dunkelau, J., & Mashkoor, A. (2024). Application of AI to formal methods - an analysis of current trends.
Citazione stile Chigago Style (17a edizione)Stock, Sebastian, Jannik Dunkelau, e Atif Mashkoor. Application of AI to Formal Methods - an Analysis of Current Trends. 2024.
Citatione MLA (9a ed.)Stock, Sebastian, et al. Application of AI to Formal Methods - an Analysis of Current Trends. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.