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

Invited Papers.- A Family of Mathematical Methods for Professional Software Documentation.- Gener...