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