Formal Methods for Industrial Critical Systemsde Frédéric Lang, Francesco FlamminiMateriasSoftware engineeringComputer programsComputer scienceLogic designProgramming Languages, Compilers, InterpretersLogics and Meanings of ProgramsSpecial Purpose and Application-Based SystemsEdiciones (2)Formal Methods for Industrial Critical Systems (2014)
