Redirected from Formal methods
... (Middle indicates actions done to something other than the speaker for the speaker's own benefit. The semantic distinction between middle and passive is not maintained in ...