1 paper · 1 filter
Sirui Jiang, Dongming Xiang, Shichao Wu +5
Formal languages are widely used in software engineering to specify and verify program properties. Because their mathematical notation and logic are hard to read, developers often…