Jin Song Dong, Huibiao Zhu Formal Methods and Software Engineering - 2010 ISBN: 978-3-642-16901-4 Subjects--Topical Terms: Algorithm Analysis and Problem ComplexityComputer Communication NetworksProgramming TechniquesSoftware EngineeringSoftware Engineering/Programming and Operating Systems Programming Languages, Compilers, InterpretersComputer Science