Formal methods for privacy

Michael Carl Tschantz, Jeannette M. Wing
[ISBN] [Google Scholar] [DBLP] [Citeseer]

FM 2009: Formal Methods
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 1-15
2009