DocumentCode :
1250210
Title :
Introduction to the special issue
Author :
Dillon, L.K. ; Sankar, S.
Author_Institution :
Computer Science Department, University of California
Volume :
23
Issue :
5
fYear :
1997
fDate :
5/1/1997 12:00:00 AM
Firstpage :
265
Lastpage :
266
Keywords :
Algorithm design and analysis; Formal verification; ISO standards; Java; Mathematical analysis; Production; Programming; Prototypes; Software systems; Special issues and sections;
fLanguage :
English
Journal_Title :
Software Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
0098-5589
Type :
jour
DOI :
10.1109/TSE.1997.590647
Filename :
590647
Link To Document :
بازگشت