دورية أكاديمية
One-Click Formal Methods
العنوان: | One-Click Formal Methods |
---|---|
المؤلفون: | Backes, J., Bolignano, P., Cook, B., Gacek, A., Luckow, K., Rungta, N., Schaef, M., Schlesinger, C., Tanash, R., Varming, C., Whalen, M. |
المصدر: | IEEE Software IEEE Softw. Software, IEEE. 36(6):61-65 Jan, 2019 |
قاعدة البيانات: | IEEE Xplore Digital Library |
تدمد: | 07407459 19374194 |
---|---|
DOI: | 10.1109/MS.2019.2930609 |