ABZ 2010 ((2010 :)
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings /
by:
Frappier, Marc.; SpringerLink (Online service); ABZ 2010 ((2010 :)
(Language materials, printed)