These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Ind...

Invited Talks.- Refinement and Verification Applied to an In-Flight Data Acquisition Unit*.- A De...