دورية أكاديمية
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 |
Full Text Finder | تدمد: | 07407459 19374194 |
|---|---|
| DOI: | 10.1109/MS.2019.2930609 |