O. Abusdal, C. Din, V. Pun, und V. Stolz. The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2022)
F. Ahishakiye, J. Jarabo, V. Pun, und V. Stolz. Formal Methods in Outer Space, Volume 13065 von Lecture Notes in Computer Science, Seite 108-126. Springer, (2021)
Z. Chen, X. Li, Z. Liu, V. Stolz, und L. Yang. Formal Methods and Hybrid Real-Time Systems, Volume 4700 von Lecture Notes in Computer Science, Seite 83-114. Springer, (2007)
Z. Chen, Z. Liu, V. Stolz, L. Yang, und A. Ravn. Engineering Complex Computer Systems, 2007. 12th IEEE International Conference on, Seite 277--289. (2007)