您即将离开知乎，请注意您的账号和财产安全。
https://research.ibm.com/haifa/conferences/hvc2013/present/SvaFvTutorialHVC2013.pdf
