APA (7th ed.) Citation

FSCD Dortmund & Geuvers, H. (2019). 4th International Conference on Formal Structures for Computation and Deduction: FSCD 2019, June 24–30, 2019, Dortmund, Germany. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing.

Chicago Style (17th ed.) Citation

FSCD Dortmund and Herman Geuvers. 4th International Conference on Formal Structures for Computation and Deduction: FSCD 2019, June 24–30, 2019, Dortmund, Germany. Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2019.

MLA (9th ed.) Citation

FSCD Dortmund and Herman Geuvers. 4th International Conference on Formal Structures for Computation and Deduction: FSCD 2019, June 24–30, 2019, Dortmund, Germany. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2019.