Title: Inference of termination conditions for numerical loops
Authors: Serebrenik, Alexander # ×
Issue Date: 2001
Conference: F.N.R.S. meeting on Validation and Verification of Formal Descriptions location:ULB, Brussel date:June 6, 2001
Publication status: published
KU Leuven publication type: AMa
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.


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