00850nam a2200217 a 4500001001400000003000700014005001700021008004100038020001500079020001800094040000800112111009000120245019900210260003000409300002900439440004500468650005000513650003700563700001700600700001500617vtls000023557KUKTEM20251117144448.0080116s2006    gw     f      001 0 eng|d  a3540474609  a9783540474609  aUMP2 aInternational Conference on Formal Engineering Methodsn(8th :d2006 :cMacau, China)10aFormal methods and software engineering :b8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings /cZhiming Liu, Jifeng He (eds.)  aBerlin :bSpringer,c2006  a626 p. :bill. ;c24 cm. 0aLecture notes in computer science;v2495 0aFormal methods (Computer science)vCongresses 0aSoftware engineeringvCongresses1 aLiu, Zhiming1 aHe, Jifeng