Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Front Cover
Zhiming Liu, Jifeng He
Springer Science & Business Media, Oct 24, 2006 - Computers - 792 pages

This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
2
III
35
IV
55
V
74
VI
94
VII
114
VIII
132
XXIII
420
XXIV
440
XXV
460
XXVI
478
XXVII
494
XXVIII
514
XXIX
529
XXX
549

IX
149
X
168
XI
185
XII
206
XIII
226
XIV
246
XV
264
XVI
284
XVII
304
XVIII
324
XIX
342
XX
360
XXI
380
XXII
400
XXXI
568
XXXII
588
XXXIII
606
XXXIV
621
XXXV
639
XXXVI
660
XXXVII
678
XXXVIII
697
XXXIX
717
XL
737
XLI
757
XLII
776
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information