Proc. 10th International Workshop on Termination (WST 2009)

Book title Buchtitel
Proc. 10th International Workshop on Termination (WST 2009)
 
Editor Herausgeber_in
 

Publications Publikationen



Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Schernhammer, Felix ; Gramlich, Bernhard ; Geser, Alfons ; Waldmann, Johannes On Some Implementation Aspects of VMTLKonferenzbeitrag Inproceedings2009