• Title of article

    On computing the semi-sum of two integers

  • Author/Authors

    Salvatore Ruggieri، نويسنده ,

  • Issue Information
    دوهفته نامه با شماره پیاپی سال 2003
  • Pages
    5
  • From page
    67
  • To page
    71
  • Keywords
    formal methods , Program derivation
  • Journal title
    Information Processing Letters
  • Serial Year
    2003
  • Journal title
    Information Processing Letters
  • Record number

    129742