Formal Methods For Components And Objects 9th International Symposium Fmco 2010 Graz Austria November 29 December 1 2010de Bernhard K. AichernigMateriasSoftware Engineering/Programming and Operating SystemsSoftware engineeringProgramming TechniquesLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersOperating systems (Computers)Operating Systems
