1. LNCS;E Albert,2006
2. Lecture Notes in Computer Science;F Besson,2007
3. Lecture Notes in Computer Science;D Beyer,2014
4. Lecture Notes in Computer Science;D Beyer,2016
5. Beyer, D., Dangl, M., Dietsch, D., Heizmann, M.: Correctness witnesses: exchanging verification results between verifiers. In: Zimmermann et al. [31], pp. 326–337