Shukla S. K
-
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering