Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, june 5-8, 2018, proceedings - Butler, Michael 1967-; Raschke, Alexander; Hoang, Thai Son; Reichl, Klaus; ABZ (Conference) 2018 : Southampton, UK) (Cham, Switzerland : Springer, 2018)
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)