Holt, A
(South African Computer Society (SAICSIT), 1999)
The industrial take-up of formal verification techniques remains limited. Allowing specifications to be expressed in natural language (perhaps augmented with diagrams) offers the prospect of increasing the usability of ...