ITEM METADATA RECORD
Title: Proving termination with adornments
Authors: Serebrenik, Alexander ×
De Schreye, Danny #
Issue Date: 2003
Conference: 6th International Workshop on Termination location:Valencia, Spain date:June 13-14, 2003
Description: Technical report DSIC-II/15/03
Publication status: published
KU Leuven publication type: IMa
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
40816.pdf Published 18KbAdobe PDFView/Open

 


All items in Lirias are protected by copyright, with all rights reserved.