A Case Study on Termination
Author: | Stephan Frank, Petra HofstedtGND, Pierre R. Mai |
---|---|
Title of the source (English): | Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings |
Publisher: | Universidad Politécnica de Valencia |
Place of publication: | Valencia |
Editor: | Albert Rubio |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2003 |
First Page: | 49 |
Last Page: | 51 |
Series ; volume number: | Technical Report DSIC-II ; 15/03, Departamento de Sistemas Informáticos y Computación |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Praktische Informatik / Programmiersprachen und Compilerbau |