مؤتمر
Lightweight formal methods for computer algebra systems
| العنوان: | Lightweight formal methods for computer algebra systems |
|---|---|
| المؤلفون: | Dunstan, Martin, Kelsey, Tom, Linton, Steve, Martin, Ursula |
| المصدر: | Proceedings of the 1998 international symposium on Symbolic and algebraic computation |
| بيانات النشر: | ACM |
| سنة النشر: | 1998 |
| نوع الوثيقة: | conference object |
| اللغة: | unknown |
| DOI: | 10.1145/281508.281560 |
| الإتاحة: | https://doi.org/10.1145/281508.281560Test |
| رقم الانضمام: | edsbas.C7760334 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1145/281508.281560 |
|---|