FSCD Haifa & Felty, A. P. (2022). 7th International Conference on Formal Structures for Computation and Deduction: FSCD 2022, August 2–5, 2022, Haifa, Israel. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing.
Chicago-Zitierstil (17. Ausg.)FSCD Haifa und Amy P. Felty. 7th International Conference on Formal Structures for Computation and Deduction: FSCD 2022, August 2–5, 2022, Haifa, Israel. Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2022.
MLA-Zitierstil (9. Ausg.)FSCD Haifa und Amy P. Felty. 7th International Conference on Formal Structures for Computation and Deduction: FSCD 2022, August 2–5, 2022, Haifa, Israel. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2022.