ITEM METADATA RECORD
Title: A systematic construction of abstract domains
Authors: Boulanger, Dmitri
Bruynooghe, Maurice #
Issue Date: 1994
Publisher: Springer
Host Document: Lecture notes in computer science vol:864 pages:61-77
Conference: Static Analysis, Proc. of First International Static Analysis Symposium, SAS'94 location:Namur, Belgium date:September 28-30, 1994
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:
File Status SizeFormat
SAS94.pdf Published 990KbAdobe PDFView/Open

 


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