Abstract state machines, Alloy, B and Z second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings - ABZ 2010 (2010 : Orford, Quebec); Frappier, Marc.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010)
Keywords: Machine learning -- Congresses; Mathematical Logic and Formal Languages; Logics and Meanings of Programs