|aAbstract state machines, Alloy, B and Z|h[electronic resource] :|bsecond international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings /|cedited by Marc Frappier ... [et al.].
246
30
|aABZ 2010
260
|aBerlin, Heidelberg :|bSpringer-Verlag Berlin Heidelberg,|c2010.
300
|axiv, 416 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v5977