Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, proceedings - Butler, Michael 1967-; Schewe, Klaus-Dieter; Mashkoor, Atif; Biro, Miklos; ABZ (Conference) 2016 : Linz, Austria) (Switzerland : Springer, 2016)
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)