مؤتمر
Refinement laws for verifying library subroutine adaptation
| العنوان: | Refinement laws for verifying library subroutine adaptation |
|---|---|
| المؤلفون: | Fidge, C., Robinson, P., Dunne, S. |
| المصدر: | 2005 Australian Software Engineering Conference Australian Software Engineering Software Engineering Conference, 2005. Proceedings. 2005 Australian. :224-232 2005 |
| Relation: | Proceedings. 2005 Australian Software Engineering Conference |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0769522572 9780769522579 |
|---|---|
| تدمد: | 15300803 23775408 |
| DOI: | 10.1109/ASWEC.2005.40 |