التفاصيل البيبلوغرافية
| العنوان: |
Automated verification of pattern-based interaction invariants in Ajax applications |
| المؤلفون: |
Maezawa, Yuta, Washizaki, Hironori, Tanabe, Yoshinori, Honiden, Shinichi |
| المصدر: |
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International Conference on. :158-168 Nov, 2013 |
| Relation: |
2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
Full Text Finder