The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION

D. S. Rosenblum, "Correction to 'A Practical Approach to Programming with Assertions'," in IEEE Transactions on Software Engineering, vol. 21, no. , pp. 265, 1995.
doi:10.1109/TSE.1995.10002
96 ms
(Ver 3.3 (11022016))