OREGON STATE UNIVERSITY

You are here

Biblio

Found 3 results
Filters: Author is Jha, Somesh  [Clear All Filters]
2004
Chaki, S., E. Clarke, A. Groce, S. Jha, and H. Veith, "Modular verification of software components in C", IEEE Transactions on Software Engineering, vol. 30, issue 6, pp. 388 - 402, 06/2004.
2003
Chaki, S., E. Clarke, A. Groce, S. Jha, and H. Veith, "Modular verification of software components in C", International Conference on Software Engineering (ICSE), Portland, Oregon, pp. 385–395, 05/2003.
ICSE 2003 ACM SIGSOFT Distinguished Paper Award