. . . "FMBoK is an initiative dedicated to the discussion on a Body of Knowledge\u2191 (BoK) on formal methods. This is an activity within FME-SoE. For those not familiar with a body of knowledge, a good starting point is to learn about SWEBOK\u2191 (Software Engineering Body of Knowledge\u2191) standardized by IEEE Computer Society\u2191 and the Association for Computing Machinery\u2191 (ACM)."@en . "FMBoK is an initiative dedicated to the discussion on a Body of Knowledge\u2191 (BoK) on formal methods. This is an activity within FME-SoE. For those not familiar with a body of knowledge, a good starting point is to learn about SWEBOK\u2191 (Software Engineering Body of Knowledge\u2191) standardized by IEEE Computer Society\u2191 and the Association for Computing Machinery\u2191 (ACM)."@en . "FMBoK"@en .