Title :
Introduction to the special issue
Author :
Dillon, L.K. ; Sankar, S.
Author_Institution :
Computer Science Department, University of California
fDate :
5/1/1997 12:00:00 AM
Keywords :
Algorithm design and analysis; Formal verification; ISO standards; Java; Mathematical analysis; Production; Programming; Prototypes; Software systems; Special issues and sections;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1997.590647