1 paper
Yihao Huang, Jincao Feng, Hanyue Zheng +5
We present Prema, a tool for Precise Requirement Editing, Modeling and Analysis. It can be used in various fields for describing precise requirements using formal notations and per…