%0 Generic %1 data/10/ElRakaibyBFM20 %A ElRakaiby, Yehia %A Borgida, Alexander %A Ferrari, Alessio %A Mylopoulos, John %D 2020 %I Zenodo %K dblp %T CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool).

@data{data/10/ElRakaibyBFM20, added-at = {2024-06-18T00:00:00.000+0200}, author = {ElRakaiby, Yehia and Borgida, Alexander and Ferrari, Alessio and Mylopoulos, John}, biburl = {https://www.bibsonomy.org/bibtex/22f20657f2eae049bebbedf0068923245/dblp}, ee = {https://doi.org/10.5281/zenodo.4156216}, interhash = {1053b04a099c62cbd14c94ca54841b21}, intrahash = {2f20657f2eae049bebbedf0068923245}, keywords = {dblp}, month = {October}, publisher = {Zenodo}, timestamp = {2024-06-24T07:25:00.000+0200}, title = {CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool).}, year = 2020 }