author = {Muhammad Taimoor Khan and Wolfgang Schreiner},
title = {{Towards a Behavioral Analysis of Computer Algebra Programs (Extended Abstract)}},
booktitle = {{Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11)}},
language = {english},
pages = {42--44},
address = {Vasteras, Sweden},
isbn_issn = {ISSN 1404-3041},
year = {2011},
month = {October},
editor = {Paul Pettersson and Cristina Seceleanu},
refereed = {yes},
organization = {Doktoratskolleg},
institution = {Research Institute for Symbolic Computation},
sponsor = {Austrian Science Fund (FWF)},
length = {3}