ITEM METADATA RECORD
Title: Inference of termination conditions for numerical loops
Authors: Serebrenik, Alexander
De Schreye, Danny
Issue Date: May-2001
Publisher: Department of Computer Science, K.U.Leuven, Leuven, Belgium
Series Title: CW Reports vol:CW308 pages:25
URI: 
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Status SizeFormat
CW308.pdf Published 318KbAdobe PDFView/Open

 


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