Custom cover image
Custom cover image

Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation / Edited by Radhia Cousot

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: ACM Conferences | ACM Digital LibraryPublisher: Berlin, Heidelberg : Springer-Verlag, 2005Description: 1 online resource (481 pages)ISBN:
  • 9783540242970
Other title:
  • VMCAI'05
Subject(s): Genre/Form: MSC: MSC: *68-06 | 68Q60 | 00B25DOI: DOI: 10.5555/2131753Online resources: PPN: PPN: 1752064925Package identifier: Produktsigel: ZDB-15-ACM
No physical items for this record
KIT – The Research University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT

Powered by Koha