Hrg. Adel Bouhoula, Hrg. Bruno Buchberger, Hrg. Laura Kovacs, Hrg. Teimuraz Kutsia,
"Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science"
, Serie Special Issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science, 2015, ISSN: 0747-7171
Original Titel:
Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science
Sprache des Titels:
Englisch
Serie:
Special Issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science