Formal methods for development of computer systems have been extensively studied over the years. The now long-established series of International Conferences on Formal - gineering Methods brings together those interested in the application of formal engineering methods to computer systems.