| 2006 | ||
|---|---|---|
| 2 | Yih-Feng Hwang, David C. Rine: Verification framework and algorithms for integrating information distribution systems. Information & Software Technology 48(9): 876-889 (2006) | |
| 1998 | ||
| 1 | Yih-Feng Hwang, David C. Rine: Verifying the Reusability of Software Component Specifications: Framework and Algorithms. Inf. Sci. 112(1-4): 169-197 (1998) | |
| 1 | David C. Rine | [1] [2] |