その他のタイトルAbstract state machines, alloy, B, VDM, and Z : 3rd international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings.
一般注記Papers.
"iFM 2012, (...) and ABZ 2012, (...) joined together in a single event, iFM&ABZ 2012, (...)" -- pref. of iFM & ABZ 2012.
"The novelty of this third international event is the inclusion of the VDM community in the ABZ conference series." -- pref. to the volume.
書誌注記Includes bibliographical references and author index.