دورية أكاديمية
Fundamentals of deductive program synthesis
| العنوان: | Fundamentals of deductive program synthesis |
|---|---|
| المؤلفون: | Manna, Z., Waldinger, R. |
| المصدر: | IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 18(8):674-704 Aug, 1992 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 00985589 19393520 23263881 |
|---|---|
| DOI: | 10.1109/32.153379 |