Misbah Mehboob Awan, Wasi Haider Butt, Muhammad Waseem Anwar, Farooque Azam. Seamless Runtime Transformations from Natural Language to Formal Methods - A usecase of Z-Notation. In SoSE. pages 375-380, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.