Your search returned 3 results.

Results
		Modular Verfication of Data Abstractions with Shared Realizations by Emst, George W Hookway, Raymond J Ogden, Wililam F Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Extending Typestate Checking Using Conditional liveness Analysis by Strom, Robert E Yeliln, Daniel M Source: IEEE Transactions on Software Engineering Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article
		Perspectives in Software Engineering by Zelkowitz, Marvin V Source: Acm Computing Surveys Material type: Article; Format: print Availability: Items available for loan: Engr Abul Kalam Library (1). Request article

Refine your search