B language Formal specification language. See Formal methods. ShareFacebookTwitterWhatsAppGoogle+LinkedInLink... for your business