Showing 1 - 2 results of 2, query time: 0.01s Refine Results
  1. 1
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
    by Frappier, Marc
    Published 2010
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search