Formal analysis of privacy requirements specifications for multi-tier applications

Travis D. Breaux, Ashwini Rao
2013 2013 21st IEEE International Requirements Engineering Conference (RE)  
doi:10.1109/re.2013.6636701 dblp:conf/re/BreauxR13 fatcat:udm6p4t5h5ey7nfzvjjdffdacm