IEEE Transactions on Software Engineering (TSE), Volume 7

Volume 7, Number 1, January 1981

Program Analysis and Verification Database Resource Allocation

Volume 7, Number 2, March 1981

Volume 7, Number 3, May 1981

Volume 7, Number 4, July 1981

Volume 7, Number 5, September 1981

Volume 7, Number 6, November 1981