R. Banacha

发表

Retrenchment : An Engineering Variation on Refinement

R. Banacha, M. Poppletona, 2022 .

Retrenching Partial Requirements into System Definitions : A Simple Feature Interaction Case Study

R. Banacha, R. Banacha, M. Poppletonb, 2022 .