Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, june 18-21, 2012, proceedings - Derrick, John 1963- (Lecture notes in computer science, 2012)