Category

Formal specification

page 1

specification language

formal language used in computer science

formal specification

mathematically based techniques whose purpose are to help with the implementation of systems and software