First International Workshop on Property Verification for Software Components and Services - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2007

First International Workshop on Property Verification for Software Components and Services

Christian Attiogbe
CV
Daniel Kroening
  • Fonction : Directeur scientifique
Computing Laboratory

Résumé

Workshop Proceedings

Domaines

Génie logiciel [cs.SE]

Christian Attiogbe  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00481603

Soumis le : vendredi 7 mai 2010-00:21:32

Dernière modification le : mardi 14 février 2023-14:32:07

Fichier non déposé

Dates et versions

hal-00481603 , version 1 (07-05-2010)

Identifiants

  • HAL Id : hal-00481603 , version 1

Citer

Christian Attiogbe, Daniel Kroening (Dir.). First International Workshop on Property Verification for Software Components and Services. ETH Zurich, pp.72, 2007. ⟨hal-00481603⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES LINA LINA-COLOSS LINA-AELOS
34 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More