Static analysis of software : the abstract interpretation / / edited by Jean-Louis Boulanger.

Saved in:
Bibliographic Details
:
TeilnehmendeR:
Year of Publication:2012
Language:English
Online Access:
Physical Description:xiv, 331 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Bibliography:Includes bibliographical references and index.
ISBN:9781848213203
9781118602843 (electronic bk.)
Hierarchical level:Monograph
Statement of Responsibility: edited by Jean-Louis Boulanger.