• Title of article

    Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010

  • Author/Authors

    Marc Frappier، نويسنده , , Uwe Gl?sser، نويسنده , , Sarfraz Khurshid and Darko Marinov ، نويسنده , , Régine Laleau، نويسنده , , Steve Reeves، نويسنده ,

  • Issue Information
    ماهنامه با شماره پیاپی سال 2013
  • Pages
    2
  • From page
    270
  • To page
    271
  • Journal title
    Science of Computer Programming
  • Serial Year
    2013
  • Journal title
    Science of Computer Programming
  • Record number

    1080321