مؤتمر
Specification matching of object-oriented components
العنوان: | Specification matching of object-oriented components |
---|---|
المؤلفون: | Feiks, F., Hemer, D. |
المصدر: | First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. Software engineering and formal methods Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on. :182-190 2003 |
Relation: | 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 0769519490 9780769519494 |
---|---|
DOI: | 10.1109/SEFM.2003.1236220 |