Seidl, H. (ed.) (2007) “Foundations of Software Science and Computational Structures : 10 th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings”, Theoretical Computer Science and General Issues. 1 st ed. 2007 st ed. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-71389-0.

Seidl, Helmut, ed. “Foundations of Software Science and Computational Structures : 10 th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings”. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?]. https://doi.org/10.1007/978-3-540-71389-0.

Seidl, H. (ed.). (ca. 2007). Foundations of Software Science and Computational Structures : 10 th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2007 st ed.). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-71389-0

Seidl, H., editor. “Foundations of Software Science and Computational Structures : 10 th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings”. Theoretical Computer Science and General Issues, 1 st ed. 2007 st ed., cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-71389-0.

SEIDL, Helmut (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540713890