您即将离开知乎，请注意您的账号和财产安全。
https://net.cs.uni-bonn.de/fileadmin/ag/martini/Staff/yakdan/dream_ndss2015.pdf
