Charrel, Pierre-Jean, Toulouse 2 Jean Jaurès University, France, France

• Computer Science Vol. 22 No. 3 - Articles
  Formal verification of the extension of iStar to support Big data projects
  Abstract  PDF