Report on the international symposium on high confidence software (ISHCS 2011/2012)Tao Xie, Mei Hong, Lu Zhang|ACM SIGSOFT Software Engineering Notes|2013Cited by 0