|ITEM METADATA RECORD
|Title: ||Inference of termination conditions for numerical loops|
|Authors: ||Serebrenik, Alexander #|
|Issue Date: ||2001 |
|Conference: ||Fifth international workshop on termination location:Utrecht, The Netherlands date:May 20-21, 2001|
|Publication status: ||published|
|KU Leuven publication type: ||IMa|
|Appears in Collections:||Informatics Section|
|Files in This Item:
There are no files associated with this item.
All items in Lirias are protected by copyright, with all rights reserved.