• 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