مؤتمر
Semi-automated verification of Erlang code
| العنوان: | Semi-automated verification of Erlang code |
|---|---|
| المؤلفون: | Fredlund, L.-A., Gurov, D., Noll, T. |
| المصدر: | Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Automated software engineering Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on. :319-323 2001 |
| Relation: | Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 076951426X 9780769514260 |
|---|---|
| تدمد: | 19384300 |
| DOI: | 10.1109/ASE.2001.989820 |