Bücher und Buch-Herausgaben:
A. Bouhoula, B. Buchberger, L. Kovacs, T. Kutsia:
"Special Issue on Symbolic Computation in Software Science";
in Buchreihe "Journal of Symbolic Computation",
Buchreihen-Herausgeber: H. Hong;
Elsevier,
2015,
ISSN: 0747-7171,
158 S.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.jsc.2014.09.027
Elektronische Version der Publikation:
http://www.sciencedirect.com/science/journal/07477171/69/supp/C
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.