Your search returned 5 results.

Results
		onPractical Need for Abstraction Relations to Verify Abstract Data Type Representations by Sitaraman, Murali Ogden, Wililan F Weide, Bruce W Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Commutativity-Based Concurrency Control for Abstract Data Types by Weihl, Wililam Source: IEEE Transactions on Computers Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Formal Specification and Design Time Testing by Paul, Christopher Coleman, Derek Galilmore, Robin M Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		The Effect of Data Abstraction on Loop Programming Techniques by Bishop, J.M Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Copying and Swapping Influences onDesign of Reusable Software Components by Harms, Douglas E Weide, Bruce W Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Refine your search