This book constitutes the refereed proceedings of the 14th International Conference on Formal Eng...

Formal methods have been established as the rigorous engineering methodology for the system devel...