×
  • Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

    Marc Frappier Uwe Glässer Sarfraz Khurshid Régine Laleau Steve Reeves

Click on cover to enlarge.
9 - 10Hours to read