Abstract: Formalization of intended requirements is indispensable when using formal methods in software development. However, translating Natural Language (NL) requirements into formal specifications, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results