A practical approach to programming with assertions
Author:
- D.S. RosenblumDRD.S. Rosenblum
Open Access
- 1 January 1995
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 21 (1) , 19-31