Context

Context of 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 (eds.), (electronic book)
Processing Feedback ...