Automated Formal Methods : Proceedings of the ... workshop on Automated formal methods

Resource type: Ressourcentyp: Zeitschrift (Online)Periodical (Online)Volumes: Bände: Show volumesZeige BändePublisher: New York, NY : Association for Computing Machinery, 2007-Description: Online-RessourceOther title:
  • Nebent: ASE, Automated Software Engineering
  • AFM
Genre/Form: DDC classification:
  • 004
Online resources: Publication dates: Erscheinungsverlauf: 2.2007 nachgewiesenHoldings: KIT-Bibliothek: 2007; Fachbibliothek HKA: 2007 - 2023.2007PPN: PPN: 727807846ZDB ID: ZDB-ID: 2685430-2
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT