Towards a Behavioral Analysis of Computer Algebra Programs (Extended Abstract)

Muhammad Taimoor Khan, Wolfgang Schreiner

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11)
Editors	Paul Pettersson and Cristina Seceleanu
Place of Publication	Schweden
Publisher	Vasteras
Pages	42-44
Number of pages	3
Publication status	Published - Oct 2011

Name	MRTC report
ISSN (Print)	1404-3041

Fields of science

@inproceedings{940b997976844d2e9ee214b6009657d1,

title = "Towards a Behavioral Analysis of Computer Algebra Programs (Extended Abstract)",

author = "Khan, \{Muhammad Taimoor\} and Wolfgang Schreiner",

year = "2011",

month = oct,

language = "English",

series = "MRTC report",

publisher = "Vasteras",

pages = "42--44",

editor = "\{Paul Pettersson and Cristina Seceleanu\}",

booktitle = "Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11)",

}

Towards a Behavioral Analysis of Computer Algebra Programs (Extended Abstract). / Khan, Muhammad Taimoor; Schreiner, Wolfgang.
Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11). ed. / Paul Pettersson and Cristina Seceleanu. Schweden: Vasteras, 2011. p. 42-44 (MRTC report).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Towards a Behavioral Analysis of Computer Algebra Programs (Extended Abstract)

AU - Khan, Muhammad Taimoor

AU - Schreiner, Wolfgang

PY - 2011/10

Y1 - 2011/10

M3 - Conference proceedings

T3 - MRTC report

SP - 42

EP - 44

BT - Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11)

A2 - Paul Pettersson and Cristina Seceleanu, null

PB - Vasteras

CY - Schweden

ER -