Research Concept

Formal specification

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