View of Formal verification of the extension of iStar to support Big data projects

Return to Issue Details Formal verification of the extension of iStar to support Big data projects Download Download PDF