Normal 0 false false false EN-US X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyl

Now included at the end of the book is a link for a web-based program, PDFs and MP3 sound files for each chapter. Over 300 pages .... Developed by I Corps Forei

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in Octobe