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