%0 Conference Proceedings %A Zemni, M. A., Mammar, A. and Hadj-Alouane, N. B. %D 2014 %T Formal Approach for Generating Privacy Preserving User Requirements-Based Business Process Fragments %E Thomas, B. and Parry, D. %B Thirty-Seventh Australasian Computer Science Conference (ACSC 2014) %C Auckland, New Zealand %I ACS %V 147 %P 89-98 %S CRPIT %! Formal Approach for Generating Privacy Preserving User Requirements-Based Business Process Fragments %F CRPITV147P89-98 %Z abstract %U http://crpit.com/confpapers/CRPITV147Zemni.pdf