1 paper
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou +2
Structured natural languages provide a trade space between ambiguous natural languages that make up most written requirements and mathematical formal specifications such as Linear…