12 citations · 12 across the 4 of their papers we have counts for
1 paper · 1 filter
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…