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

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