The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION
D. S. Rosenblum, "Correction to 'A Practical Approach to Programming with Assertions'", IEEE Transactions on Software Engineering, vol. 21, no. , pp. 265, March 1995, doi:10.1109/TSE.1995.10002
57 ms
(Ver )