• DocumentCode
    2490039
  • Title

    Dynamically detecting relevant program invariants

  • Author

    Notkin, David

  • Author_Institution
    University of Washington
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    162
  • Lastpage
    162
  • Keywords
    Formal specifications; Programming profession;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Engineering of Complex Computer Systems, 2000. ICECCS 2000. Proceedings. Sixth IEEE International Conference on
  • Print_ISBN
    0-7695-0583-X
  • Type

    conf

  • DOI
    10.1109/ICECCS.2000.873940
  • Filename
    873940
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2490039