| G. A. Bundell, G. Lee, J. Morris, K. Parker, and P. Lam. A software component verification tool. In International Conference on Software Methods and Tools (SMT), pages 137-- 146. IEEE Computer Society Press, 2000. |
No context found.
G. A. Bundell, G. Lee, J. Morris, K. Parker, and P. Lam. A software component verification tool. In International Conference on Software Methods and Tools (SMT), pages 137-- 146. IEEE Computer Society Press, 2000.
No context found.
G. A. Bundell, G. Lee, J. Morris, K. Parker, and P. Lam. A software component verification tool. In International Conference on Software Methods and Tools (SMT), pages 137-- 146. IEEE Computer Society Press, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC