"FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings" - читать интересную книгу автора (Ana Cavalcanti; Dennis Dams )