Abstract state machines, alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, june 2-6, 2014, proceedings - Ait Ameur, Yamine; Schewe, Klaus-Dieter; ABZ (Conference) 2014 : Toulouse, France) (Heidelberg : Springer, 2014)
Keywords: TEORIA DE LAS MAQUINAS -- CONGRESOS; TEORIA DEL APRENDIZAJE COMPUTACIONAL; MÉTODO B (COMPUTADORAS); Z (LENGUAJE DE PROGRAMACION) -- CONGRESOS; INGENIERÍA DE PROGRAMAS PARA COMPUTADORA; LENGUAJES DE PROGRAMACION (COMPUTADORAS ELECTRONICAS)