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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of the 23rd Nordic Workshop on Programming Theory (NWPT'11)
Herausgeber*innen	Paul Pettersson and Cristina Seceleanu
Erscheinungsort	Schweden
Verlag	Vasteras
Seiten	42-44
Seitenumfang	3
Publikationsstatus	Veröffentlicht - Okt. 2011

Name	MRTC report
ISSN (Print)	1404-3041

Wissenschaftszweige

@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). Hrsg. / Paul Pettersson and Cristina Seceleanu. Schweden: Vasteras, 2011. S. 42-44 (MRTC report).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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 -