• Title of article

    Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941–November 2, 2009)

  • Author/Authors

    Willem Paul de Roever، نويسنده ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 2010
  • Pages
    3
  • From page
    211
  • To page
    213
  • Journal title
    Science of Computer Programming
  • Serial Year
    2010
  • Journal title
    Science of Computer Programming
  • Record number

    1080105